Negacja
Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: 
(lub 
). Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nieprawda, że p. Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.
Symbol negacji jako bramki logicznej:
Tablica prawdy (1 oznacza zdanie prawdziwe zaś 0 fałszywe):
| p | ¬ p |
|---|---|
| 0 | 1 |
| 1 | 0 |
Złożenie dwóch negacji, daje w wyniku przekształcenie identycznościowe
Do oznaczenia negacji stosowana jest także angielska partykuła NOT (funkcja boolowska).
