Linked from

The 11 pages that link to Disjunction, each with the reason it gives.

• Disjunction eliminationNarrower topic: The rule starts from a disjunction and considers its alternatives.

• Modus ponendo tollensNarrower topic: The inference begins with a disjunction whose alternatives cannot both hold.