casa |  | Saúde e Doença >  | Medicina Alternativa | Programação Neurolinguística (PNL)

Nega­ção Lógica: Compreendendo "Não O"

Na lógica formal, a negação é a operação que inverte o valor de verdade de uma proposição. Se o é uma afirmação, sua negação é "não o" (símbolos: ¬o, ~o, o′, ou !o em programação).

Tabela Verdade

o	¬o
Verdadeiro	Falso
Falso	Verdadeiro

Exemplos Cotidianos

• o = "Está chovendo." → ¬o = "Não está chovendo."
• o = "A porta está aberta." → ¬o = "A porta não está aberta." (isto é, fechada)
• o = "x > 5" → ¬o = "x ≤ 5"
• o = "Todos os pássaros voam." → ¬o = "Nem todos os pássaros voam." (∃ pássaro que não voa)

Leis Lógicas Principais Envolvendo Nega­ção

Leis de De Morgan

• ¬(A ∧ B) ≡ ¬A ∨ ¬B ("Não (A e B)" = "Não A ou Não B")
• ¬(A ∨ B) ≡ ¬A ∧ ¬B ("Não (A ou B)" = "Não A e Não B")

Nega­ção Dupla

• ¬(¬o) ≡ o (nega­ção se cancela)

Contradição e Tautologia

• o ∧ ¬o ≡ Falso (contradição — sempre falso)
• o ∨ ¬o ≡ Verdadeiro (lei do terceiro excluído — sempre verdadeiro)

Implicação e Nega­ção

• o → p ≡ ¬o ∨ p
• Contrapositiva: (o → p) ≡ (¬p → ¬o)

Nega­ção em Programação

• Maioria das linguagens: !condition (C, Java, Python, JS, etc.)
• SQL: NOT condition
• Shell: ! command (expansão de histórico) ou [[ ! condition ]]
• Expressões regulares: [^abc] (classe de caractere negada), (?!pattern) (negative lookahead)

Nega­ção de Quantificadores

• ¬(∀x P(x)) ≡ ∃x ¬P(x) ("Nem todos" = "Existe não")
• ¬(∃x P(x)) ≡ ∀x ¬P(x) ("Não existe" = "Todos não são")

A nega­ção é o operador lógico mais simples, mas fundamental para raciocínio, prova, computação e comunicação precisa. Dominar seu comportamento — especialmente com quantificadores e afirmações compostas — afina o pensamento em todas as disciplinas.