Disjunction Introduction
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
An inference rule that allows one to infer a disjunction A ∨ B from a proof of one of its disjuncts (from A infer A ∨ B, or from B infer A ∨ B).