Konjunktionselimination
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine Schlussregel, die es erlaubt, jeden Konjunkt aus einer Konjunktion A ∧ B abzuleiten; formal: aus A ∧ B folgere A (und symmetrisch B).