Rule of Transposition/Variant 2
Jump to navigation
Jump to search
Theorem
Formulation 1
- $\neg p \implies q \dashv \vdash \neg q \implies p$
Formulation 2
- $\vdash \left({\neg p \implies q}\right) \iff \left({\neg q \implies p}\right)$