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]]. W terminologii angielskiej ''disjunction'' to polska alternatywa, odpowiednikiem polskiej dysjunkcji (Sheffera) jest natomiast ''alternative denial''<!-- tu można dopisać ewentualnie o innych kwestiach terminologicznych-->.