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

Syllogism
*This 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 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