Next: ex, Previous: hs, Up: Inference Rules [Contents]
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.