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

'''Dysjunkcja''' ('''dyzjunkcja''', '''dysjunkcja/dyzjunkcja Sheffera''', '''funkcja Sheffera''', '''NAND''', w terminologii 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 dysjunkcji odpowiada swobodnie funktor „bądź..., bądź...”. Wyrażenie "p / q" odczytywać można „bądź p, bądź q”, „albo p, albo q” (w znaczeniu „zachodzi najwyżej jedno z dwojga”, ([[Funktor zdaniotwórczy#Funktory KRZ a język naturalny|por.]]), jako że dysjunkcja jest negacją koniunkcji („nieprawda, że zarazem p i q”). Pojęcie dysjunkcji wprowadził w 1913 [[Henry Sheffer]].

# Niekiedy można spotkać się z rozumieniem dysjunkcji jako kontrawalencji, czyli [[alternatywa wykluczająca|alternatywy wykluczającej]]; w tym znaczeniu słowo to bywa używane w literaturze z zakresu [[nauki humanistyczne|nauk humanistycznych]]. Tak dysjunkcja była rozumiana także w matematyce w latach 80. XX wieku: „albo p, albo q” (w znaczeniu „zachodzi dokładnie jedno z dwojga”).

[[Kategoriakategoria:Spójnikispójniki logiczne]]