polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
logička operacija koja zadanoj izjavi pridružuje izjavu koja je istinita ako i samo ako je zadana izjava lažna
Simbol: $\neg$
Ako je $A$ izjava, onda se njezina negacija obično zapisuje kao $\neg A$.