Disjunctive syllogism
Logical rule of inference / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Disjunctive syllogism?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In classical logic, disjunctive syllogism[1][2] (historically known as modus tollendo ponens (MTP),[3] Latin for "mode that affirms by denying")[4] is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.[5][6]
Quick Facts Type, Field ...
Type | Rule of inference |
---|---|
Field | Propositional calculus |
Statement | If is true or is true and is false, then is true. |
Symbolic statement |
Close
An example in English:
- I will choose soup or I will choose salad.
- I will not choose soup.
- Therefore, I will choose salad.