Disjunction Property

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A metatheoretical property of a deductive system stating that whenever the system proves a disjunction A ∨ B (typically a closed formula) it proves A or it proves B individually; commonly required of constructive systems.