Negação
Do latim *negare* — "negar". Símbolo ¬: barra de cancelamento estilizada.
Símbolo
(também , ). O símbolo é uma estilização da barra de cancelamento.
Definição
Conectivo unário que inverte o valor-verdade.
| V | F |
| F | V |
Intuição
"Não é o caso que ". Se é verdadeiro, é falso, e vice-versa.
Registro computacional
not pExemplo
Se está chovendo
, então não está chovendo
.