Conjunction Elimination
When a compound conjunction is known to be true, each of its components can be extracted and used independently. Also called Simplification — you are not removing truth, you are isolating it.
The Rule
If
P ∧ Q is true, then P is true, and Q is true — each on their own. From a compound conjunction, you can extract either conjunct independently. For grouped conjunctions like (P ∧ Q) ∧ R, you can eliminate outward first, then inward.