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" jest negacją koniunkcji „nie zarazem p i q”. Pojęcie dysjunkcji wprowadził w 1913 [[Henry Sheffer]].