Dysjunkcja (logika)
Z Wikipedii
Dysjunkcja – jeden ze spójników zdaniowych w logice. Mianem tym określa się – w zależności od źródła – aż cztery różne spójniki zdaniowe:
- NAND (funktor Sheffera, kreska Sheffera, dawniej: niewspółzachodzenie) to logiczne albo w sensie: co najwyżej jedno z dwojga. Dysjunkcja zdań p|q jest fałszywa wtedy i tylko wtedy, gdy zdania p i q są równocześnie prawdziwe. Charakterystyczną własnością dysjunkcji jest to, że można przy jej pomocy zdefiniować wszystkie pozostałe spójniki logiczne.
- Niekiedy można spotkać się z rozumieniem dysjunkcji jako kontrawalencji, czyli alternatywy wykluczającej; w tym znaczeniu słowo to bywa używane w literaturze z zakresu nauk humanistycznych.
- Sporadycznie spotyka się użycie terminu "dysjunkcja" w znaczeniu binegacji.
- W literaturze z zakresu informatyki spotyka się słowo „dysjunkcja” w znaczeniu zapożyczonym z języka angielskiego, gdzie jest ono synonimem alternatywy (por. en:Logical disjunction).