Topic summary
Disjunctive syllogism
In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a validargument form which is a syllogism having a disjunctive statement for one of its premises.
An example in English:
- I will choose soup or I will choose salad.
- I will not choose soup.
- Therefore, I will choose salad.