Disjunction elimination
In propositional logic, disjunction elimination (sometimes named proof by cases, case analysis, or or elimination) is the valid argument form and rule of inference that allows one to eliminate a disjunctive statement from a logical proof. It is the inference that if a statement P {\displaystyle P} implies a statement Q {\displaystyle Q} and a statement R {\displaystyle R} also implies Q {\displaystyle Q} , then if either P {\displaystyle P} or R {\displaystyle R} is true, then Q {\displaystyle Q} has to be true.