Disjunctive Syllogism

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

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

More things to try:

References

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. https://mathworld.wolfram.com/DisjunctiveSyllogism.html

Subject classifications