Einführung der Konjunktion
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine Schlussregel, die erlaubt, die Konjunktion A ∧ B zu bilden, wenn sowohl A als auch B jeweils separat nachgewiesen wurden.