Negazione (matematica)

Diagramma di Venn della negazione

In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.