Disjunctieve

Disjunctieve is een term uit de wiskunde, logica en taalwetenschap die verwijst naar de relatie of constructie die voortkomt uit de disjunctie, oftewel het logische of. Het begrip wordt in verschillende vakgebieden gebruikt, maar het achterliggende idee is hetzelfde: er zijn twee of meer opties waarvan er ten minste één waar kan zijn.

In de logica is disjunctie de bevoegdheid om twee proposities met elkaar te combineren via de bewerking of (∨). A ∨ B is waar als A waar is, of B waar is, of beide waar zijn. Er bestaat ook een uitsluitende disjunctie (XOR), waarbij precies één van de twee waar is. Een veelgebruikte notatie is: A ∨ B voor inclusieve disjunctie en A ⊕ B voor exclusive of. Disjunctie is een fundamentele bouwsteen in booleaanse algebra en digitale logica.

Een belangrijke toepassing is de disjunctieve normalvorm (DNF). Hier wordt een uitdrukking geschreven als een machtiging van disjuncties van conjuncties: een OR-verbinding van meerdere AND-termen, bijvoorbeeld (A ∧ B) ∨ (¬A ∧ C). Dit maakt logische functies systematisch op te bouwen en te manipuleren.

In redeneringen wordt de term disjunctief vaak gebruikt voor redeneringen die uitgaan van een disjunctie en een aanvullende aanname. Een klassieke vorm is P ∨ Q, ¬P, dus Q, oftewel een disjunctieve redenering. In natuurlijke taal wordt 'of' gebruikt als disjunctie; dit kan zowel inclusief als exclusief bedoeld zijn, afhankelijk van de context.

Etymologisch komt disjunctief van het Latijnse disiunctus, via het Franse disjonctif, en heeft daarmee de oorsprong in het idee van scheiding of uitsluiting.