Disjunctive Syllogism

A disjunctive syllogism is a valid argument form in propositional calculus, where p and q are propositions:

 (p v q; ¬p)/(∴q).

For example, if someone is going to study law or medicine, and does not study law, they will therefore study medicine.

See also


This entry contributed by Jordan Bell

Explore with Wolfram|Alpha


Copi, I. M. and Cohen, C. Introduction to Logic, 11th ed. Englewood Cliffs, NJ: Prentice Hall, 2001.

Referenced on Wolfram|Alpha

Disjunctive Syllogism

Cite this as:

Bell, Jordan. "Disjunctive Syllogism." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein.

Subject classifications