Es un operador lógico de la forma "no es el caso que" y que transforma una proposición p en otra con valor de verdad contrario. Ejemplo: si p es la proposición "el número n es impar" la negación de p es "no es el caso que el número n es impar" (es decir, "el número n es par"). La negación de p se denota con ~p. La negación de p es verdadera si y sólo si p es falsa.
Las proposiciones negadas más comunes y útiles son:
La negación de la disyunción pORq es ~p&~q
La negación de la conjunción p&q es ~pOR~q
La negación de la condicional p-->q es p&~q
La negación de la negación ~p es p