Back Shefferscher Strich German Sheffer stroke English Conjunción opuesta Spanish خط شفر Persian Shefferin viiva Finnish Barre de Sheffer French Barra de Sheffer Galician Operatore di Sheffer Italian 否定論理積 Japanese 부정논리곱 Korean
Dysjunkcja, dyzjunkcja[1], dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, funktor Sheffera[1], NAND, w terminologii Jana Łukasiewicza niewspółzachodzenie – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska / (tzw. kreska Sheffera[2]). W języku potocznym funktorowi temu odpowiada „nieprawda, że p i q” (ponieważ dysjunkcja jest negacją koniunkcji[2]) lub „zachodzi najwyżej jedno z dwojga”[3] (por. artykuł „Funktory klasycznego rachunku zdań a jęz. naturalny”). Pojęcie dysjunkcji wprowadził w 1913 Henry Sheffer.
Uwaga: w terminologii angielskiej disjunction to polska alternatywa, odpowiednikiem polskiej dysjunkcji (Sheffera) jest natomiast alternative denial.
- ↑ a b 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.
- ↑ a b Słownik terminologiczny informacji naukowej, Maria Dembowska, Wrocław–Warszawa–Kraków–Gdańsk: Zakład Narodowy imienia Ossolińskich, 1979, s. 41.
- ↑ dysjunkcja, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-03-14].