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.
Disjunctive Syllogism
See also
SyllogismThis entry contributed by Jordan Bell
Explore with Wolfram|Alpha
References
Copi, I. M. and Cohen, C. Introduction to Logic, 11th ed. Englewood Cliffs, NJ: Prentice Hall, 2001.Referenced on Wolfram|Alpha
Disjunctive SyllogismCite this as:
Bell, Jordan. "Disjunctive Syllogism." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/DisjunctiveSyllogism.html