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


6.1.6 Disjunctive Syllogism

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.