KnowraDisjunction eliminationLinked fromLinked fromThe 4 pages that link to Disjunction elimination, each with the reason it gives.All 4Broader topic 1Related 1Compared with 2Rule of inferenceBroader topic: It formalizes reasoning by cases, with a derivation for each alternative.DisjunctionRelated: It explains how reasoning can proceed from a disjunction without knowing which disjunct holds.Disjunction introductionCompared with: Unlike introduction, it uses a disjunction as a premise rather than adding one.Conjunction eliminationCompared with: Unlike conjunction elimination, it requires reasoning through separate cases.