In de [[logica]] en de [[wiskunde]] is de '''logische disjunctie''' (symbool: ∨<math>\scriptstyle\lor</math>, <small>OF</small> of <small>OR</small>) is een [[logische operator]], wiens betekenis ongeveer overeenkomt met de betekenis van het Nederlandse woord "of".
== Definitie ==
Met de logische disjunctie wordt uit twee uitspraken ''A'' en ''B'' de samengestelde uitspraak ''A'' ∨<math>\scriptstyle\lor</math> ''B'' gevormd; hierin worden ''A'' en ''B'' de ''disjuncten'' genoemd. De samengestelde uitspraak is waar [[dan en slechts dan als]] tenminste één van de samenstellende uitspraken waar is, dat wil zeggen als ófwel ''A'' waar is, ófwel ''B'' waar is, ófwel zowel ''A'' als ''B'' waar zijn. Anders gezegd is de disjunctie ''A'' ∨<math>\scriptstyle\lor</math> ''B'' onwaar als zowel ''A'' als ''B'' onwaar zijn, en waar in alle andere gevallen. De disjunctie heeft de volgende [[waarheidstabel]]:
Logische disjunctie is [[associatief]] en [[commutatief]]. Dat wil zeggen dat (''A'' ∨<math>\scriptstyle\lor</math> ''B'') ∨<math>\scriptstyle\lor</math> ''C'' [[Logische equivalentie|logisch equivalent]] is met ''A'' ∨<math>\scriptstyle\lor</math> (''B'' ∨<math>\scriptstyle\lor</math> ''C'') (associativiteit) — de haakjes kunnen dus zonder ambiguïteit te veroorzaken weggelaten worden — en dat ''A'' ∨<math>\scriptstyle\lor</math> ''B'' logisch equivalent is aan ''B'' ∨<math>\scriptstyle\lor</math> ''A'' (commutativiteit).
