Logic: Inverse, Converse, Contrapositive

∼ ¬

These symbols both represent Negation

(∼p, ¬p = NOT p)

• Got it

• Let's start the exercise

If the Implication (conditional statement) is $p\rightarrow q$  , then find the converse statement.

•  $q\rightarrow p$  

•  $\sim p\rightarrow\sim q$  

•  $\sim q\rightarrow\sim p$  

•  $p\rightarrow\sim q$  

If the Implication (conditional statement) is $p\rightarrow q$  , then find the inverse statement.

•  $q\rightarrow p$  

•  $\sim p\rightarrow\sim q$  

•  $\sim q\rightarrow\sim p$  

•  $p\rightarrow\sim q$  

If the Implication (conditional statement) is $p\rightarrow q$  , then find the contrapositive statement.

•  $q\rightarrow p$  

•  $\sim p\rightarrow\sim q$  

•  $\sim q\rightarrow\sim p$  

•  $p\rightarrow\sim q$  

If it rains today, then I will stay at home

Find the converse of this statement

• If it doesn't rain today, then I won't stay at home

• If I will stay at home, then it rains today

• If I will not stay at home, then it does not rain today

• If it rains today, then I will not stay at home

If it rains today, then I will stay at home

Find the inverse of this statement

• If it doesn't rain today, then I won't stay at home

• If I will stay at home, then it rains today

• If I will not stay at home, then it does not rain today

• If it rains today, then I will not stay at home

If it rains today, then I will stay at home

Find the contrapositive of this statement

• If it doesn't rain today, then I won't stay at home

• If I will stay at home, then it rains today

• If I will not stay at home, then it does not rain today

• If it rains today, then I will not stay at home

Select the equivalent one for CONTRAPOSITIVE statement

• Inverse

• Converse

• Contranegative

• Implication

Select the equivalent one for Converse statement

• Inverse

• Converse

• Contranegative

• Implication

Neither converse nor inverse is equivalent to ... What we can put instead of the ellipsis?

• Implication

• Conjunction

• Disjunction

• Contranegative