Disjunction elimination
ID: 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.
New to topics? Read the docs here!