Introduction to Logic

Contrapositive

The contrapositive of an implication is an implication with the antecedent and consequent negated and interchanged. For example, the contrapositive of (pq) is (¬q ⇒ ¬p). Note that an implication and it contrapositive are logically equivalent.


-->