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