Posted on Leave a comment

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.”