Conjunction elimination

In symbolic logic, a valid inference in a system of truth-functional rules. Because a statement governed by a conjunction is true if, and only if, each of the conjuncts is true, it follows that one of the conjuncts may be inferred from the statement.