DYSJUNKCJA (dysjunkcja Sheffera) (łc. W potocznej polszczyźnie brakuje spójnika odpowiadającego symbolowi dysjunkcji, która jest zdaniem prawdziwym wtedy i tylko wtedy, gdy przynajmniej jedno ze zdań składowych jest fałszywe; a zatem gdy oba składniki są prawdą, ich dysjunkcja jest fałszem.
(łac. rozdzielenie, niezgodność), w logice formalnej — zdanie (lub forma zdaniowa) złożone z 2 zdań za pomocą funktora prawdziwościowego (spójnika, który je łączy jedynie ze względu na ich wartość logiczną) i fałszywe wyłącznie wtedy, gdy obydwa zdania składowe są prawdziwe. Sam funktor nazywa...