Equivalências e Negações Lógicas

Equivalências lógicas são proposições com a MESMA tabela-verdade (mesmos valores em todas as linhas). As principais são: LEIS DE DE MORGAN (negação de conjunção/disjunção), CONTRAPOSITIVA (P→Q ≡ ¬Q→¬P), equivalência do condicional (P→Q ≡ ¬P∨Q) e equivalência do bicondicional. Para NEGAR uma proposição composta, basta achar sua equivalente negada usando essas regras.

📌 Principais pontos

De Morgan 1: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q (nega ambos e troca ∧ por ∨)
De Morgan 2: ¬(P ∨ Q) ≡ ¬P ∧ ¬Q (nega ambos e troca ∨ por ∧)
Negação do condicional: ¬(P → Q) ≡ P ∧ ¬Q (mantém P, NEGA Q, troca → por ∧)
Contrapositiva: P → Q ≡ ¬Q → ¬P (inverte e nega ambos)
Condicional como disjunção: P → Q ≡ ¬P ∨ Q
Bicondicional: P ↔ Q ≡ (P → Q) ∧ (Q → P)
Negação do bicondicional: ¬(P ↔ Q) ≡ P ⊕ Q (ou exclusivo)
Negação dos quantificadores: ¬(∀x P(x)) ≡ ∃x ¬P(x); ¬(∃x P(x)) ≡ ∀x ¬P(x)

⚠️ Pegadinhas de prova

Negar P→Q como ¬P→¬Q — ERRADO! A negação correta é P ∧ ¬Q
Confundir RECÍPROCA (Q→P, NÃO é equivalente) com CONTRAPOSITIVA (¬Q→¬P, É equivalente)
Negar conjunção mantendo o E — ¬(P ∧ Q) NÃO é ¬P ∧ ¬Q (precisa virar OU)
Negar TODO por NENHUM — errado! A negação de TODO X é Y é ALGUM X NÃO É Y (existe pelo menos um)
Esquecer que P → Q ≡ ¬P ∨ Q (transformar condicional em disjunção)

📝 Questão comentada

Enunciado: A negação da proposição "Se chove, então o chão fica molhado" é:

a) Se não chove, então o chão não fica molhado
b) Chove e o chão não fica molhado
c) Não chove e o chão fica molhado
d) Se o chão fica molhado, então chove

Gabarito: b

Comentário: Negação do condicional: ¬(P → Q) ≡ P ∧ ¬Q. Mantém o antecedente (chove) e nega o consequente (o chão NÃO fica molhado). A é a INVERSA (não equivalente). C inverte o sentido. D é a RECÍPROCA (não equivalente).

❓ Perguntas frequentes

Como negar P → Q?

Resposta: ¬(P → Q) ≡ P ∧ ¬Q. Mantém P, NEGA Q, troca → por E. Não é ¬P → ¬Q (isso é a INVERSA, não a negação).

Exemplo: Se estudo, passo. Negação: Estudo E não passo.

Erro comum: Negar como Se NÃO estudo, NÃO passo — isso é a INVERSA, equivalente à recíproca, NÃO à negação.

O que são as Leis de De Morgan?

Resposta: Regras para negar conjunção e disjunção: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q e ¬(P ∨ Q) ≡ ¬P ∧ ¬Q. Em palavras: negue cada parte e TROQUE o conectivo (∧↔∨).

Exemplo: Negar Pedro é alto E magro: Pedro NÃO é alto OU NÃO é magro. Negar Maria estuda OU trabalha: Maria NÃO estuda E NÃO trabalha.

Erro comum: Manter o conectivo — sempre troca E↔OU.

Qual a diferença entre contrapositiva e recíproca?

Resposta: CONTRAPOSITIVA (P→Q ≡ ¬Q→¬P): EQUIVALENTE à original (mesma tabela-verdade). RECÍPROCA (P→Q vs Q→P): NÃO equivalente.

Exemplo: Se chove, levo guarda-chuva. Contrapositiva: Se NÃO levo guarda-chuva, NÃO chove (equivalente). Recíproca: Se levo guarda-chuva, chove (NÃO equivalente — posso levar por outro motivo).

Erro comum: Tratar recíproca como equivalente — não é.

Como negar TODOS e EXISTE?

Resposta: Negar TODOS = pelo menos UM não. Negar EXISTE pelo menos um = NENHUM. ¬(∀x P(x)) ≡ ∃x ¬P(x) e ¬(∃x P(x)) ≡ ∀x ¬P(x).

Exemplo: Negar Todos os alunos passaram: Existe pelo menos UM aluno que NÃO passou. Negar Existe aluno que reprovou: NENHUM aluno reprovou (todos passaram).

Erro comum: Negar TODO por NENHUM — errado! TODO se nega por ALGUM NÃO.