Dysjunkcja (Sheffera): Różnice pomiędzy wersjami

'''Dysjunkcja''', '''dyzjunkcja'''<ref name="el">Wiktor Marek, [[Janusz Onyszkiewicz]], ''Elementy logiki i teorii mnogości w zadaniach'', Wydawnictwo Naukowe PWN, Warszawa 2012, {{ISBN|978-83-01-14547-7}}, s. 8.</ref>, dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, funktor Sheffera<ref name="el" />, '''NAND''', w terminologii [[Jan Łukasiewicz|Jana Łukasiewicza]] '''niewspółzachodzenie''' – zdanie lub [[funkcja zdaniowa]] utworzone za pomocą '''funktora dysjunkcji''', jednego z dwuargumentowych [[funktor zdaniotwórczy|funktorów zdaniotwórczych]] rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska /. W języku potocznym funktorowi temu odpowiada „nieprawda, że p i q” (ponieważ dysjunkcja jest negacją koniunkcji) lub „zachodzi najwyżej jedno z dwojga”<ref name="epwn">{{Encyklopedia PWN | id = 3895463 | tytuł = dysjunkcja | data dostępu = 2022-03-14 }}</ref> ([[Funktor zdaniotwórczy#Funktory KRZ a język naturalny|por. artykuł „Funktory klasycznego rachunku zdań a jęz. naturalny”]]). Pojęcie dysjunkcji wprowadził w 1913 [[Henry Sheffer]].