Modus Tollendo Ponens/Variant
Jump to navigation
Jump to search
Theorems
Formulation 1
- $p \lor q \dashv \vdash \neg p \implies q$
Formulation 2
- $\vdash \paren {p \lor q} \iff \paren {\neg p \implies q}$