Conjunction Elimination
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
An inference rule allowing one to infer either conjunct from a conjunction A ∧ B; formally from A ∧ B derive A (and symmetrically derive B).