s.f.
1. il negare; espressione che nega: una esplicita negazione | (gramm.) elemento linguistico (avverbio, congiunzione ecc.) che esprime negazione (p. e. non , né)
2. (fig.) ciò che è o appare contrario; ciò che esclude, sovverte radicalmente qualcosa: una sentenza che è la negazione della giustizia
3. in logica matematica, operazione a un solo argomento, corrispondente al connettivo grammaticale non , che al valore di verità (v, vero; f, falso) di un enunciato associa il suo contrario (a v associa f, e viceversa).