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 at least one of two substatements are held to be true.

Thus, $p \lor q$ can be interpreted as:
 * $p$ or $q$
 * $p$ or $q$ or both
 * $p$ unless $q$
 * Unless $p$, $q$.