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