Definition:Disjunction/Also known as

Disjunction: Also known as
The disjunction is also known as the logical sum.

The symbol $\lor$ comes from the first letter of the word vel, which is Latin for or.

This usage of or, that allows the case where both disjuncts are true, is called inclusive or, or the inclusive disjunction.

In natural language the term and/or is often seen, especially in the case of legal documents.

Some sources refer to this as the weak or, where the strong or is used in the sense of the exclusive or.

$p \lor q$ is also called the logical alternation, or just alternation, of $p$ and $q$.

Treatments which consider logical connectives as functions may refer to this operator as the disjunctive function.