Definition:Contrapositive

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.

Sources

• Thomas A. Whitelaw: An Introduction to Abstract Algebra (1978)... (previous)... (next): $\S 4$