DC-UFRPE/Bacharelado em Ciência da Computação/Matemática Discreta 1/Equivalências lógicas

Na lógica, afirmações p e q 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 p e q às vezes é expressa como $p\equiv q$ ou $p\Longleftrightarrow q$. 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.