Logische disjunctie: verschil tussen versies

[[Afbeelding:Venn0111.svg|thumb|220px|[[Venndiagram]] van <math>\scriptstyle A \orlor B</math>]]

Met de logische disjunctie wordt uit twee uitspraken <math>A</math> en <math>B</math> de samengestelde uitspraak <math>A \orlor B</math> gevormd; hierin worden <math>A</math> en <math>B</math> de ''disjuncten'' genoemd. De samengestelde uitspraak is waar [[dan en slechts dan als]] ten minste een van de samenstellende uitspraken waar is, dat wil zeggen als ófwel <math>A</math> waar is, ófwel <math>B</math> waar is, ófwel beide waar zijn. Anders gezegd is de disjunctie <math>A \orlor B</math> onwaar als zowel <math>A</math> als <math>B</math> onwaar zijn, en waar in alle andere gevallen. De disjunctie heeft de volgende [[waarheidstabel]]:

Logische disjunctie is [[associativiteit (wiskunde)|associatief]] en [[commutatief]]. Dat wil zeggen dat <math>(A\orlor B)\orlor C</math> [[Logische equivalentie|logisch equivalent]] is met <math>A\orlor (B\orlor C)</math> (associativiteit) — de haakjes kunnen dus zonder ambiguïteit te veroorzaken weggelaten worden — en dat <math>A \orlor B</math> logisch equivalent is aan <math>B \orlor A</math> (commutativiteit).