Symbols:Symbolic Logic/Deprecated Symbols/Disjunction

From ProofWiki
Jump to navigation Jump to search

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.


The $\LaTeX$ code for \(P + Q\) is P + Q .


Also see

See:

Symbols:Addition
Symbols:Ordered Sum
Symbols:Commutative Operation

for other uses of this symbol.