'''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 swobodnie „albo..., albo...”. Wyrażenie „p / q” odczytywać można jako „albo p, albo q” lub „bądź p, bądź q” (w znaczeniu „zachodzi najwyżej jedno z dwojga”, [[Funktor zdaniotwórczy#Funktory KRZ a język naturalny|por.]]), ponieważ 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-->.
== Wartość logiczna ==
Linia 46:
== Linki zewnętrzne ==
* [[s:en:A Reduction in the number of the Primitive Propositions of Logic|Artykuł Nicoda ''A Reduction in the number of the Primitive Propositions of Logic'' w Wikisource]]