Negação

\neg P

Do latim *negare* — "negar". Símbolo ¬: barra de cancelamento estilizada.

term: Negação symbol: \neg P etymology: 'Do latim negare — "negar". Símbolo ¬: barra de cancelamento estilizada.' summary: "Conectivo unário que inverte o valor-verdade. ¬P é verdadeiro quando P é falso, e vice-versa." relatedModules: [propositional-logic] seeAlso: [conectivo-logico, conjuncao, disjuncao]

$\neg P$ (também $\sim P$ , $!P$ ). O símbolo $\neg$ é uma estilização da barra de cancelamento.

Conectivo unário que inverte o valor-verdade.

$P$	$\neg P$
V	F
F	V

"Não é o caso que $P$ ". Se $P$ é verdadeiro, $\neg P$ é falso, e vice-versa.

not p

Se $P =$ está chovendo, então $\neg P =$ não está chovendo.