Rule of Transposition/Formulation 2

Theorem

 * $\vdash \paren {p \implies q} \iff \paren {\neg q \implies \neg p}$

Also known as
The Rule of Transposition is also known as the Rule of Contraposition.

Also see

 * Definition:Contrapositive Statement