Negação
operação que leva uma proposição p a outra proposição "não p" / De Wikipedia, a enciclopédia encyclopedia
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição. Se a proposição é verdadeira, então o operador lógico negação produz o valor falso, e vice versa.