disjunction property

The disjunction and existence properties are properties enjoyed by constructive logics.

disjunctive property

Whenever is a theorem, either or is a theorem.

existence property

Whenever is a theorem, then there is some term such that is a theorem.