Negacja

Symbole negacji^[1][2]

autorzy	zapis
Heyting	${\displaystyle \neg p}$
Schröder Peirce	${\displaystyle p'}$
Peano Russell	${\displaystyle \sim p}$
Hilbert	${\displaystyle {\overline {p}}}$
Łukasiewicz	${\displaystyle Np}$

Negacja (z łac. negatio^[3]), 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^[4][5];
• 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^[6].

W logice formalnej, np. rachunku zdań, negacja ma różne zapisy:

• osobny symbol ${\displaystyle (\neg p),}$
• tylda ${\displaystyle (\sim p),}$
• prim ${\displaystyle (p'),}$
• makron ${\displaystyle ({\overline {p}}).}$

Odczytuje się to nieprawda, że p^[7] lub nie jest tak, że p^[8]. Inny symbol negacji – zwłaszcza jako funkcji boolowskiej i bramki logicznej – to angielska partykuła NOT.