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

Theorem

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