e/Disjunction elimination

Information
has gloss	eng: In propositional logic disjunction elimination is the inference that, if "A or B" is true, and A entails C, and B entails C, then we may justifiably infer C. The reasoning is simple: since at least one of the statements A and B is true, and since either of them would be sufficient to entail C, C is certainly true.
lexicalization	eng: Disjunction elimination
instance of	e/Rule of inference