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$.

Sources

• 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $2$ Arguments Containing Compound Statements: $2.1$: Simple and Compound Statements