Equivalência lógica
Na lógica, duas afirmações são consideradas logicamente equivalentes quando compartilham o mesmo conteúdo lógico. Isso significa que elas possuem o mesmo valor de verdade em todos os cenários possíveis (chamados de modelos). A equivalência lógica entre duas afirmações, digamos 'A' e 'B', pode ser representada de diversas formas, como 'A ≡ B', 'A ↔ B', ou 'A ⇔ B'. É importante notar que esses mesmos símbolos também podem ser usados para indicar equivalência material, e a interpretação correta depende do contexto em que são utilizados. Embora intimamente relacionadas, a equivalência lógica é um conceito distinto da equivalência material.
Pontos-chave
- Afirmações logicamente equivalentes têm o mesmo valor de verdade em todos os modelos.
- A equivalência lógica pode ser expressa por símbolos como ≡, ↔ ou ⇔.
- A equivalência lógica difere da equivalência material, embora estejam relacionadas.
- A equivalência material (p ↔ q) é uma tautologia se p e q são logicamente equivalentes.
As equivalências lógicas podem envolver diferentes tipos de afirmações, como condicionais e bicondicionais. Explorar essas equivalências nos ajuda a entender as relações estruturais entre diferentes proposições lógicas.
Considere as afirmações: (1) 'Se Lúcia não está na Dinamarca, então Lúcia está na Europa.' e (2) 'Lúcia está na Dinamarca ou Lúcia está na Europa.'. Sintaticamente, essas duas afirmações são deriváveis uma da outra usando regras lógicas como contraposição e dupla negação. Semanticamente, ambas as afirmações são verdadeiras exatamente nos mesmos cenários: aqueles em que a afirmação 'Lúcia está na Dinamarca' é falsa, ou a afirmação 'Lúcia está na Europa' é verdadeira. É importante notar que este exemplo assume a lógica clássica; em algumas lógicas não clássicas, essas afirmações podem não ser consideradas logicamente equivalentes.
A equivalência lógica é uma relação entre duas afirmações (p e q) que afirma que elas sempre terão o mesmo valor de verdade em qualquer modelo. Essa relação é expressa na metalinguagem. Por outro lado, a equivalência material, frequentemente escrita como 'p ↔ q', é uma afirmação dentro da própria linguagem de objeto. Ela expressa a ideia de "'p' se e somente se 'q'" e seu valor de verdade pode variar entre modelos. As fórmulas 'p' e 'q' são logicamente equivalentes se, e somente se, a afirmação de sua equivalência material ('p ↔ q') for uma tautologia, ou seja, sempre verdadeira em todos os modelos.
