aliases:
tags:
- Type/Concept
- proto
- wikipedia
from:
- "[[Syllogism]]"
related:
contra:
to:
dateCreated: 2022-10-08, 13:24
dateModified: 2023-11-30, 09:54
version: 1
publish: true
In classical logic, Disjunctive Syllogism is a valid argument form which is a syllogism having a disjunctive statement for one of its premises. | |
---|---|
wikipedia:: Disjunctive syllogism |
In classical logic, Disjunctive Syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument 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.
P or Q
~P
Thus, Q