Definition:Disjunction/Semantics of Disjunction
Jump to navigation Jump to search
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$.
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $2$ Arguments Containing Compound Statements: $2.1$: Simple and Compound Statements