Difference between contradiction, contrapositive, and converse:

Contrapositive and converse

Contrapositive and converse are certain other statements which can be formed from a given statement with “if-then”.

  • The contrapositive of a statement p ⇒ q is the statement ∼ q ⇒ ∼p .
  • The converse of a statement p ⇒ q is the statement q ⇒ p.
  • p ⇒ q together with its converse, gives p if and only if q