# Definition:Disjunction/Semantics of Disjunction

## Semantics of the Disjunction

Let $p \lor q$ denote the disjunction of two statements $p$ and $q$.

The disjunction is used to symbolise any statement in natural language such that either of two substatements are held to be true.

Thus $p \lor q$ can be also interpreted as:

• Either $p$ or $q$
• $p$ unless $q$
• Unless $p$, $q$.