DC-UFRPE/Licenciatura Plena em Computação/MatemáticaDiscreta I/Equivalência Lógica.

Na lógica, afirmações  e  são logicamente equivalentes se tiverem o mesmo conteúdo lógico. Isto é, se elas tiverem o mesmo valor de verdade em todos os modelos. A equivalência lógica de  e  às vezes é expressa como , , ou . No entanto, esses símbolos também são usados para equivalência material. A interpretação adequada depende do contexto. A equivalência lógica é diferente da equivalência material, embora os dois conceitos estejam intimamente relacionados.