Definition:Disjunction/Semantics of Disjunction

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