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

Theorem

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