Negacja (inaczej
zaprzeczenie, ¬) –
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.