+ Symbole negacjiautorzyzapisHeytingSchröderPeircePeanoRussellHilbertŁukasiewicz
Negacja (z łac. negatioOd negare ‘przeczyć’ (Słownik Wyrazów Obcych).), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach: działanie jednoargumentowe na zbiorze zdań (funktor zdaniotwórczy), które każdemu zdaniu p przypisuje zdanie nie p; wynik tego działania, tj. wartość funktora – zdanie mające postać nieprawda, że p, gdzie p jest zdaniem; odpowiednią funkcję na zbiorze wartości logicznych; odpowiedni funktor na zbiorze nazw.
W logice formalnej, np. rachunku zdań, negacja ma różne zapisy: osobny symbol tylda prim makron
Odczytuje się to nieprawda, że p lub nie jest tak, że p. Inny symbol negacji – zwłaszcza jako funkcji boolowskiej i bramki logicznej – to angielska partykuła NOT.
Definicja w logice dwuwartościowej + Tablica prawdy dla negacji 0 11 0
Niech będzie dwuelementowym zbiorem wartości logicznych: Negacja jest funkcją ze zbioru w zbiór określoną następująco: ,
czyli
.
Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe: 1 – prawda (lub zdanie prawdziwe), 0 – fałsz (lub zdanie fałszywe).