Content-Type: text/html Wikipedia: Disjunctive syllogism

[Home]Disjunctive syllogism

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project

Disjunctive syllogism is a valid, simple argument form:
Either P or Q.
Not P.
Therefore, Q.
Roughly, we are told that it has to be one or the other that is true; then we are told that it is not the one that is true; so we infer that it has to be the other that is true. The reason this is called "disjunctive syllogism" is that, first, it is a syllogism?--a three-step argument--and second, it contains a disjunction, which means simply an "or" statement. "Either P or Q" is a disjunction; P and Q are called the statement's disjuncts.

Here is an example:

Either I will choose soup or I will choose salad.
I will not choose soup.
Therefore, I will choose salad.

Here is another example:

Either the Browns win or the Bengals win.
The Browns do not win.
Therefore, the Bengals win.

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Edit text of this page | View other revisions
Last edited March 21, 2001 2:17 pm (diff)
Search: