Scribd
Upload
13 views42 pages

Discrete Structure 04

The document discusses implications, converses, inverses and contrapositives. It also discusses biconditionals and provides examples and truth tables. It shows how to rephrase biconditionals and discusses laws of logic and their applications with exercises.

Uploaded by

f178096 Sana Shahbaz
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
13 views42 pages

Discrete Structure 04

The document discusses implications, converses, inverses and contrapositives. It also discusses biconditionals and provides examples and truth tables. It shows how to rephrase biconditionals and discusses laws of logic and their applications with exercises.

Uploaded by

f178096 Sana Shahbaz
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 42

DISCRETE STRUCTURE

CS211
Lecture 04
CONVERSE, INVERSE AND
CONTRAPOSITIVE

1. An implication is logically equivalent to it’s


contrapositive.
2. The converse and inverse of an implication are logically
equivalent.
3. An implication is not equivalent to it’s converse.
BICONDITIONAL
TRUTH TABLE FOR
EXAMPLE
EXAMPLE
REPHRASING BICONDITIONAL

“p is necessary and sufficient for q”

“If p then q, and conversely”

“p is equivalent to q”
EXAMPLE
EXAMPLE
EXAMPLE
TRUTH TABLE FOR
TRUTH TABLE FOR
TRUTH TABLE FOR
TRUTH TABLE FOR
SHOW THAT
SHOW THAT
SHOW THAT
SHOW THAT
SHOW THAT
SHOW THAT
SHOW THAT
SHOW THAT
LAWS OF LOGIC
LAWS OF LOGIC
APPLICATION
APPLICATION
EXERCISE
EXERCISE

You might also like