Summary |
"Disjunction" is the technical term for the English connective "or." As many of the entries in this leaf node attest, "or" in English means "inclusive or," i.e., "and/or." The so-called "exclusive or," while one of the sixteen combinatorially possible binary connectives in the propositional calculus, is merely an implicature from a mutually exhaustive context or cue words whose own semantics indicate exclusivity, e.g. "else" as in "or else." There is a "menu or" in English, but this is an n-ary connective with n not necessarily 2, and does not normally appear in ordinary declarative contexts. |