Negacija suda

Neka su date duži a i b

P: a = b

¬P : a ≠b

sudu P pridružuje se sud ¬P (nije p). Svakom sudu pridružuje se jedna negacija. Ova operacija je unarna (unus-1) Negacija negacije nekog suda je sam taj sud. Iskaz ¬P je istinit ako je P neistinit

Istinite vrijednosti
Negacija jednostavno "obrne" istinitu vrijednost iskaza: ako je iskaz istinit, njegova je negacija neistinita, a ako je neistinit, negacija mu je istinita. Vrijednost cijelog iskaza piše se ispod znaka negacije. Evo i tablice:

¬	P
n	i
i	n