Tem-se uma equivalência lógica entre duas proposições quando ambas produzem o mesmo resultado na tabela verdade.
Dessa forma, uma proposição P é dita equivalente à proposição Q quando os resultados das respectivas tabelas são idênticos.
A notação de equivalência lógica entre as proposições P e Q é a seguinte:
Por exemplo, para verificar se as proposições P:p→q→) e Q:(p∧q)→ são logicamente equivalentes entre si, constrói-se as tabelas verdades de ambas para a comparação do resultado final. Veja a seguir.