Source: wikibot/disjunction-elimination
= Disjunction elimination
{wiki=Disjunction_elimination}
Disjunction elimination, also known as "proof by cases" or "case analysis," is a rule of inference used in propositional logic. It allows you to conclude a statement based on a disjunction (an "or" statement) when you have separate arguments (or proofs) for each disjunct.