Rule of Transposition/Formulation 2

Theorem

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

Also see

 * Definition:Contrapositive Statement