Raciocínio lógico: negar e equivaler proposições sem decorar tabela-verdade

Boa parte das questões de lógica em concurso pede uma de duas coisas: negar uma proposição ou apontar uma equivalente. Quem monta tabela-verdade acerta, mas gasta cinco minutos numa questão que sai em quarenta segundos com os padrões certos na cabeça.

Este texto é sobre esses padrões.

O vocabulário mínimo

Quatro conectivos aparecem quase sempre:

Símbolo	Nome	Lê-se	Falso quando
`p ∧ q`	conjunção	p e q	qualquer uma for falsa
`p ∨ q`	disjunção	p ou q	as duas forem falsas
`p → q`	condicional	se p, então q	p verdadeira e q falsa
`p ↔ q`	bicondicional	p se e somente se q	tiverem valores diferentes

Guarde a linha da condicional. Ela é a fonte de metade dos erros: p → q só é falsa num único caso, quando o antecedente acontece e o consequente não. Se p é falsa, a condicional inteira é verdadeira, por mais estranho que soe. "Se eu for aprovado, viajo" não é mentira se eu não for aprovado — a promessa nem chegou a ser testada.

Negação: as três que resolvem tudo

Negação do "e" e do "ou" — as Leis de De Morgan

Negar troca o conectivo e nega as partes:

¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q

Em português, o que mais cai:

"João foi aprovado e Maria foi aprovada." Negação: "João não foi aprovado ou Maria não foi aprovada."

O erro clássico é negar como "João não foi aprovado e Maria não foi aprovada". Isso é mais forte do que a negação: para desmentir "os dois passaram", basta que um não tenha passado.

Negação da condicional

A mais cobrada de todas, e a que quase ninguém acerta de primeira:

¬(p → q) ≡ p ∧ ¬q

Negar "se p então q" não produz outra condicional. Produz uma conjunção: p acontece e q não acontece.

"Se chover, a prova é adiada." Negação: "Choveu e a prova não foi adiada."

Faz sentido intuitivo: a única forma de desmentir a promessa é mostrar o caso em que a condição se cumpriu e o prometido não veio.

Negação com quantificadores

Negação de "todo A é B" → "existe pelo menos um A que não é B" Negação de "algum A é B" → "nenhum A é B"

Também aqui a armadilha é exagerar. Negar "todos os candidatos passaram" não é "nenhum passou" — basta um ter reprovado.

Equivalências: as três que aparecem em prova

1. Contrapositiva

p → q ≡ ¬q → ¬p

Inverte a ordem e nega as duas partes. É a equivalência mais cobrada do conteúdo.

"Se estudou, foi aprovado." ≡ "Se não foi aprovado, não estudou."

Cuidado com as duas falsas equivalentes que as bancas oferecem como distratores:

"Se foi aprovado, estudou" (recíproca) — não é equivalente.
"Se não estudou, não foi aprovado" (inversa) — não é equivalente.

Só vale quando inverte e nega. Uma coisa sem a outra, não.

2. Condicional virando disjunção

p → q ≡ ¬p ∨ q

Nega o primeiro e troca por "ou".

"Se chover, fico em casa." ≡ "Não chove ou fico em casa."

Esta é a que costuma parecer errada à primeira vista e cai bastante justamente por isso. Vale conferir uma vez com tabela para se convencer — depois, é só aplicar.

3. Bicondicional como duas condicionais

p ↔ q ≡ (p → q) ∧ (q → p)

"Se e somente se" é ida e volta.

Um roteiro para a prova

Diante de "qual a negação de..." ou "qual a equivalente a...":

Identifique o conectivo principal. É o de fora, o que estrutura a frase. Em "se A e B, então C", o principal é o condicional, não o "e".
Se o pedido é negação e o principal é condicional: resposta tem formato p ∧ ¬q. Já elimina toda alternativa que começa com "se".
Se o principal é "e" ou "ou": aplique De Morgan — troca o conectivo, nega as partes.
Se o pedido é equivalência de condicional: procure a contrapositiva ou a forma ¬p ∨ q. As duas são respostas legítimas; veja qual está entre as alternativas.
Na dúvida entre duas, teste um caso que as diferencie — é mais rápido que montar a tabela inteira.

Um exemplo completo

"Se o candidato foi aprovado, então ele estudou e fez simulados." Pergunta: qual é a negação?

Conectivo principal: condicional. Negação de condicional é p ∧ ¬q:

p = "o candidato foi aprovado"
q = "ele estudou e fez simulados"
¬q, por De Morgan = "não estudou ou não fez simulados"

Resposta: "O candidato foi aprovado e não estudou ou não fez simulados."

Repare que a resposta combina as duas regras — é exatamente assim que a questão de dificuldade média é montada. Reconhecendo os dois padrões, ela sai sem nenhuma tabela.

Se a alternativa que você escolheu para uma negação começa com "se", desconfie: negação de condicional nunca é condicional.