Definition:Contrapositive Statement

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

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

Also see

 * Rule of Transposition: a conditional statement and its contrapositive have the same truth value.


 * Definition:Converse