Search the lexicon

Found:

Disjunction

SEMANTICS: the combination of two sentences with or. In propositional logic, the disjunction of two formulas phi and psi, written phi v psi, is true if phi is true or psi is true or both, as is shown in the truth-table (i):

(i)  phi		psi	phi v psi
      1			 1	    1
      1			 0	    1
      0			 1	    1
      0			 0	    0
This version of disjunction is called inclusive, because it allows the propositions phi and psi both to be true. Natural language or can also be used exclusively: only one of the two propositions may be true, but not both (either ... or ...).
LIT. Gamut, L.T.F. (1991)