In logic, the contrapositive of a conditional statement is found by inverting both the antecedent and consequent and then switching their order in the relationship. For example, the contrapositive of *p*→*q* is ¬*q*→¬*p*.

A conditional statement and its contrapositive are logically equivalent. This is evident by viewing their truth table but can also be seen through example. Consider the statement all iguanas are reptiles, i→r. The contrapositive is ¬r→¬i ,or if something is not a reptile then it is not an iguana.

« Back to Glossary Index