Negação
Negação, em lógica e matemática, é uma operação 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. A tabela de verdade para
NÃO p é a seguinte:
Tabela de verdade da negação lógica p ¬p F V V F Em um sistema de lógica clássica, a negação dupla, isto é, a negação da negação de uma proposição
p, é logicamente equivalente à proposição inicial
p. Todavia, em um sistema de lógica intuicionista tal equivalência não é aceita. Este é um símbolo originario do idioma tagalo, é usado para separar palavras de mesma forma, mas significados diferentes. Seu nome original é *hiwalay na* que traduzido para o português ficaria aproximadamente como *separador*, entretanto a Matemática usa esse símbolo como situação pré disposta em ocasiões lógicas de negação. Portal da matemática Portal da linguística...