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


Sources