a proposition which is always true so long as one or the other term is true
If P and Q are two propositions, then P + Q is true if and only if both P or Q are true. P + Q is called the disjunction of P and Q.
ORing of statements. A statement A ; B is true when at least one of the statements or is true.
a compound statement made by inserting the word 'or' between two statements.
A truth-functional relation, symbolized by the truth-functional symbol "v" and usually translated "or." The disjunction of two claims is true if and only if at least one of the claims is true; it is false if and only if both are false.