Category:Modus Tollendo Ponens
Jump to navigation
Jump to search
This category contains pages concerning Modus Tollendo Ponens:
Modus tollendo ponens is a valid argument in types of logic dealing with disjunctions $\lor$ and negation $\neg$.
This includes propositional logic and predicate logic, and in particular natural deduction.
Proof Rule
- $(1): \quad$ If we can conclude $\phi \lor \psi$, and we can also conclude $\neg \phi$, then we may infer $\psi$.
- $(2): \quad$ If we can conclude $\phi \lor \psi$, and we can also conclude $\neg \psi$, then we may infer $\phi$.
Pages in category "Modus Tollendo Ponens"
The following 20 pages are in this category, out of 20 total.
M
- Modus Tollendo Ponens
- Modus Tollendo Ponens/Also known as
- Modus Tollendo Ponens/Examples
- Modus Tollendo Ponens/Examples/Third World War
- Modus Tollendo Ponens/Explanation
- Modus Tollendo Ponens/Proof Rule
- Modus Tollendo Ponens/Sequent Form
- Modus Tollendo Ponens/Sequent Form/Case 1
- Modus Tollendo Ponens/Sequent Form/Case 1/Proof 1
- Modus Tollendo Ponens/Sequent Form/Case 1/Proof by Truth Table
- Modus Tollendo Ponens/Sequent Form/Case 2
- Modus Tollendo Ponens/Variant
- Modus Tollendo Ponens/Variant/Formulation 1
- Modus Tollendo Ponens/Variant/Formulation 1/Forward Implication
- Modus Tollendo Ponens/Variant/Formulation 1/Proof by Truth Table
- Modus Tollendo Ponens/Variant/Formulation 1/Reverse Implication
- Modus Tollendo Ponens/Variant/Formulation 2
- Modus Tollendo Ponens/Variant/Formulation 2/Proof 1
- Modus Tollendo Ponens/Variant/Formulation 2/Proof by Truth Table