Einführung der Disjunktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Schlussregel, die erlaubt, aus einem Beweis eines der Disjunkte eine Disjunktion A ∨ B zu folgern (aus A folgere A ∨ B, oder aus B folgere A ∨ B).