Definition:Contrapositive Statement

Definition
The contrapositive of the conditional:
 * $p \implies q$

is the statement:
 * $\neg q \implies \neg p$

The Rule of Transposition gives that a statement and its contrapositive have the same truth value.