Posted on

# Contrapositive of a Conditional Statement

$p \rightarrow q \equiv \neg p \rightarrow \neg q$

The contrapositive of a conditional statement of the form “If p then q” is “If not p then not q.”