====== Disjunction ======

A logical [[glossary:proposition|proposition]] that connects two terms with an “or”. This can be in the form of an //in//clusive, or an //ex//clusive “or”.

Example for an //inclusive// disjunction ([[glossary:adjunction|adjunction]]):
> Would you like sugar //or// milk in your coffee [//or both//]?

Example for an //exclusive// disjunction ([[glossary:contravalence|contravalence]]):
> You can have ice cream //or// fruit salad for dessert [//but not both//].

===== Description =====

The term “disjunction” is here used as a general term for two different (though closely related) logical forms that are both expressed with the same word ("or") in common English.

<aside box>
**Note:** The term “disjunction” is also sometimes used specifically as a synonym to “adjunction”, i.e. to refer to //inclusive// disjunction. This can however cause confusion and is not recommended.
</aside>

For more information, see the articles on [[glossary:adjunction|adjunction]] and [[glossary:contravalence|contravalence]].

===== See also =====

  * [[glossary:adjunction|Adjunction]] – //inclusive// disjunction: A //or// B (or both)
  * [[glossary:contravalence|Contravalence]] - //exclusive// disjunction: A //or// B (but not both)

  * [[logic:formal_fallacies:affirming_a_disjunct|Affirming a disjunct]]
  * [[glossary:conjunction|Conjunction]]

===== More information =====

  * [[https://en.wikipedia.org/wiki/Logical_disjunction|Logical disjunction]] on //Wikipedia//

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}