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.