Modus Ponendo Tollens/Variant
Jump to navigation
Jump to search
Theorems
Formulation 1
- $\neg \left({p \land q}\right) \dashv \vdash p \implies \neg q$
Formulation 2
- $\vdash \paren {\neg \paren {p \land q} } \iff \paren {p \implies \neg q}$