Equivalências Lógicas: Contrapositiva, Leis de Morgan e Condicional

Conceito de equivalência

Duas proposições são logicamente equivalentes quando apresentam o mesmo valor lógico em todas as possibilidades. A equivalência permite substituir uma expressão por outra sem alterar seu significado lógico. Em concursos, esse recurso reduz o trabalho e facilita a negação de frases complexas.

Condicional e disjunção

A condicional p → q é equivalente a não p ou q. Assim, “Se o candidato estuda, então evolui” pode ser analisada como “O candidato não estuda ou evolui”. A forma equivalente é útil para montar tabelas e reconhecer tautologias.

Contrapositiva

A contrapositiva de p → q é não q → não p. As duas expressões são equivalentes. Se a proposição original for “Se há aprovação, então houve preparação”, a contrapositiva será “Se não houve preparação, então não há aprovação”. Não confunda contrapositiva com a inversa, não p → não q, que não é necessariamente equivalente.

Leis de De Morgan

A negação de p e q equivale a não p ou não q. A negação de p ou q equivale a não p e não q. Ao negar uma expressão, troque o conectivo e negue cada parte. Essa regra é indispensável em questões de lógica e também aparece em conjuntos.

Dupla negação e bicondicional

A dupla negação de p equivale a p. A bicondicional p ↔ q pode ser escrita como (p → q) e (q → p), ou como (p e q) ou (não p e não q). Essas formas mostram que a bicondicional exige igualdade de valores lógicos.

Como identificar equivalências

Memorize as formas mais usadas, mas confirme a estrutura quando houver dúvida. A tabela-verdade é o método definitivo: compare as colunas finais. Outra técnica é transformar uma expressão passo a passo, aplicando uma lei de cada vez e mantendo os parênteses.

Aplicação em questões

Quando a banca apresenta uma frase e pede uma equivalente, procure primeiro condicionais, negações e conectivos principais. Em uma condicional, a contrapositiva costuma ser a alternativa correta quando os dois termos aparecem negados e invertidos. Em uma negação de conjunção ou disjunção, aplique De Morgan cuidadosamente.

Conclusão

Equivalências tornam a resolução mais rápida e desenvolvem precisão. O estudo deve incluir exercícios de transformação, identificação de alternativas e construção de tabelas para confirmar resultados.