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

Theorem

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