Symbols:Symbolic Logic/Disjunction

From ProofWiki
Jump to navigation Jump to search

Disjunction

$\lor$

Or.

A binary operation on two propositions.

$P \lor Q$ means either $P$ is true or $Q$ is true, or both.

Its technical term is vel.


The $\LaTeX$ code for \(P \lor Q\) is P \lor Q  or P \vee Q.


Some $\LaTeX$ compilers allow \or (the MathJax used on $\mathsf{Pr} \infty \mathsf{fWiki}$ does not).


In the context of propositional logic, on $\mathsf{Pr} \infty \mathsf{fWiki}$ \lor is standard.


Deprecated Symbols

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 .