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

Theorem

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