Symbols:Symbolic Logic/Deprecated Symbols/Disjunction

Disjunction


Or.

A binary operation on two propositions.

$P + Q$ means either $P$ is true or $Q$ is true or both.

An alternative to $P \lor Q$, which is what is usually used by logicians.

Also see
See:
 * Symbols:Addition
 * Symbols:Ordered Sum
 * Symbols:Commutative Operation

for other uses of this symbol.