Disjunction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary truth-functional connective (usually written ∨) that yields true exactly when at least one of its operand formulas is true; in classical logic this is the inclusive 'or'.