Rule of Transposition/Variant 2/Formulation 1/Forward Implication/Proof

Theorem

 * $\neg p \implies q \vdash \neg q \implies p$