Nietuitsluitende

Nietuitsluitende is een term die vooral in logica en taalkunde wordt gebruikt om een disjunctie te beschrijven waarbij meerdere opties tegelijkertijd waar kunnen zijn. Het geeft aan dat het niet uitsluit dat meer dan één alternatief tegelijk geldt. In het Nederlands wordt dit vaak aangeduid als een inclusive of niet-uitgesloten disjunctie, in tegenstelling tot een uitsluitende disjunctie (exclusive or, XOR).

In de formele context correspondeert nietuitsluitende disjunctie met de logische of: A ∨ B is waar wanneer A waar is, B waar is, of beide waar zijn. Dit staat centraal in semantische analyses van taal en in de vertegenwoordiging van kennis en opties in systemen zoals kunstmatige intelligentie. Een uitsluitende disjunctie houdt daarentegen in dat precies één van de opties waar is.

Taalgebruikers hanteren nietuitsluitende of afhankelijk van context. In dagelijkse taal kan "of" zowel inclusief als exclusief geïnterpreteerd worden; aanwijzingen zoals reeksen, de toevoeging allebei of contextuele cues maken duidelijk of alle opties mogelijk zijn. Bijvoorbeeld: "Tijdens de proef kunnen deelnemers koffie of thee kiezen (of allebei)" illustreert een nietuitsluitende interpretatie.

Toepassingen van het concept vinden we in taalwetenschap, semantics en informatiesystemen, waar men duidelijk wil aangeven dat meerdere disjuncten tegelijk true kunnen zijn. Het onderscheid tussen nietuitsluitende en uitsluitende disjunctie helpt bij heldere communicatie en bij formele modellering.

Zie ook: inclusive or, exclusive or, disjunctie, logica, semantiek.