Next: ex, Previous: hs, Up: Inference Rules [Contents]

- ~P
- P v Q v R
- ~R
- ——–
- Q

Disjunctive syllogism is commonly used when disjunctions are present. It claims that if one knows that ’P or Q or R’, and ’P is false’, and ’R is false’, then Q must be true. This works with any number of disjuncts.