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 \or q$ can be also interpreted as:
 * Either $p$ or $q$
 * $p$ unless $q$
 * Unless $p$, $q$.