La NEGACIÓN es un operador que opera sobre dos valores de verdad, tipicamente, los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso solo cuando la primera proposición es falsa solo cuando la primera preposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.