Definition:Exclusive Or/Semantics of Exclusive Or

From ProofWiki
Jump to navigation Jump to search

Semantics of Exclusive Or

The exclusive disjunction is used to represent any statement in natural language such that exactly one of two substatements are held to be true.

Thus $p \oplus q$ can be interpreted as:

  • $p$ or $q$, but not both
  • Either $p$ or $q$.
Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Exclusive_Or/Semantics_of_Exclusive_Or&oldid=642225"