negação

Negação é o ato ou operação de negar a veracidade de uma proposição ou de negar a existência de algo. Em lógica, é o operador que inverte o valor de verdade de uma proposição. Em linguística, a negação é o recurso gramatical utilizado para formar sentenças negativas, expressando a negação de uma afirmação ou de um conteúdo.

Na língua portuguesa, a forma mais comum de negação é a partícula 'não', que geralmente aparece antes do verbo: "Eu não falo espanhol". Outras palavras negativas incluem "nunca", "nada", "ninguém", "jamais" e o advérbio de negação composto com "não": "não existe". A negação pode variar de acordo com o escopo, com a presença de indicações de ênfase e com fenômenos como a concordância negativa, comum em várias variedades do português. Em alguns dialetos, ocorre a denominada dupla negação como reforço (o que pode soar diferente de uma negação simples em termos de estilo).

Na lógica formal, a negação é um conectivo unário: se P é uma proposição, então ¬P é verdadeira apenas quando P é falsa. Em lógica de predicados, a negação também atua sobre quantificadores: a negação de ∀x P(x) é equivalente a ∃x ¬P(x), e a negação de ∃x P(x) é equivalente a ∀x ¬P(x). Em lógica clássica, aplica-se leis como a dupla negação (¬¬P ≡ P) e as De Morgan, que descrevem como negar conjunções e disjunções.

Além da matemática e da linguística, a ideia de negação aparece em filosofia, estatística, ciência da computação e comunicação, como um mecanismo para afirmar contradição, rejeição ou oposição de hipóteses. O estudo da negação envolve semântica, pragmática, morfologia e a relação entre significado e uso da linguagem.