Converse and contra positive are certain other statements which can be formed from a given statement with ‘if then’.
- Converse: The converse of the statement if p, then q is defined as ‘if q then p’. i.e., the converse of a implication p ⇒ q is q ⇒ q
- Contrapositive: The contrapositive of the statement if p, then q is defined as ‘if ~q, then ~p’ i.e., the contrapositive of a implication p ⇒ q is ~q ⇒ ~p
Note:
Inverse of a implication p ⇒ q is ~p ⇒ ~q