O que são equivalências lógicas?

Em raciocínio lógico, equivalência lógica é um conceito central que permite transformar uma proposição em outra com o mesmo significado lógico, mesmo que a forma escrita seja diferente. Em outras palavras, duas proposições são logicamente equivalentes quando, independentemente dos valores de verdade das variáveis envolvidas, elas sempre resultam no mesmo valor lógico (verdadeiro ou falso).

Conceito básico

Dizemos que duas proposições são logicamente equivalentes quando possuem a mesma tabela-verdade. Isso significa que, para todas as possíveis combinações de valores das proposições simples, as duas sentenças compostas se comportam da mesma maneira — ou seja, ambas são verdadeiras ou ambas são falsas em cada linha da tabela.

Podemos representar essa equivalência assim:

• p ≡ q

Onde p e q são proposições compostas. O símbolo “≡” indica que as duas proposições são logicamente equivalentes.

Exemplo simples

Considere as seguintes proposições:

• A: “Se chove, então a rua molha.” (p → q)
• B: “Não chove ou a rua molha.” (¬p ∨ q)

Mesmo escritas de formas distintas, essas duas proposições têm o mesmo valor lógico em todas as situações possíveis. Isso quer dizer que são logicamente equivalentes. Essa é, inclusive, uma das equivalências mais cobradas em provas.

Por que estudar equivalências?

O conhecimento sobre equivalências lógicas permite:

• Transformar sentenças complexas em formas mais simples ou mais fáceis de analisar;
• Resolver questões com mais agilidade, especialmente aquelas que pedem a reescrita ou interpretação de proposições;
• Evitar erros de interpretação, já que frases com a mesma lógica podem ser formuladas de maneiras diferentes nas provas;
• Aplicar corretamente as leis da lógica, que serão estudadas no próximo subtópico.

Equivalência não é igualdade textual

É importante compreender que equivalência lógica não significa que as proposições dizem literalmente a mesma coisa, mas que funcionam da mesma forma em termos de verdade ou falsidade. O foco está na estrutura lógica, e não na linguagem natural.