Disjuncties

Disjuncties is een logische bewerking die twee proposities combineert en waarvan de uitkomst waar is als minstens één van de proposities waar is. In formele notatie wordt een disjunctie vaak geschreven als p ∨ q, waarbij ∨ de logische “of” voorstelt.

In de standaard (inclu sive) disjunctie is de waarheidstabel als volgt: als p en q beide onwaar zijn, is de disjunctie onwaar; anders is zij waar. Dat geldt dus voor alle combinaties: p ∨ q is waar bij (waar, waar), (waar, onwaar), (onwaar, waar) en onwaar bij (onwaar, onwaar). Een verhelderend voorbeeld: “Het regent of het is koud.” Als een van die kinderen waar is, is de zin waar.

Eigenschappen en relaties: disjunctie is commutatief (p ∨ q = q ∨ p) en associatief ((p ∨ q) ∨ r = p ∨ (q ∨ r)). Distributiviteit geldt ook: p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r). De wet van De Morgan geeft negatie van een disjunctie: ¬(p ∨ q) = ¬p ∧ ¬q.

Verschil met exclusieve disjunctie: een exclusieve of (XOR) is waar als precies één van de proposities waar is. XOR kan worden uitgedrukt als (p ∨ q) ∧ ¬(p ∧ q) of als p ⊕ q. In veel toepassingen wordt onderscheid gemaakt tussen inclusieve en exclusieve disjunctie.

Toepassingen: logische redenering, digitale schakelingen, programmeren (waarbij OR vaak kortsluitend geëvalueerd wordt), en het begrijpen van voorwaarden in menselijke taal. Disjuncties vormen een fundamenteel bouwblok in proposionele logica en formele systemen.