[justify] Duas proposições são logicamente equivalentes se suas tabelas-verdade são iguais, ou, ainda, se a bicondicional entre essas proposições for uma tautologia. Isso é bem intuitivos, pois se as tabelas-verdade são iguais, ao descobrir o valor verdade de uma estrutura, como a outra possui a mesma tabela, também terá o mesmo valor lógico.[/justify]

Quando tivermos a condicional se p, então q como tautologia, dizemos que essa estrutura é uma implicação lógica. Se tivermos p, podemos ir para q, mas a volta (recíproca) não é verdadeira (não necessariamente). [br][br]Por outro lado, se a bicondicional for uma tautologia, a estrutura recebe o nome de equivalência lógica.

[justify] O símbolo [math]\Longrightarrow[/math] representa a implicação lógica, isto é, a condicional verificada com uma tautologia. Como ela é sempre verdade, podemos sempre ir da direita para esquerda. O exemplo 1 diz que se tivermos qualquer proposição p, então (p ou q) é verdadeira também, para qualquer proposição q. Note que, se p é verdadeira, isso já garante que a disjunção seja verdadeira. Essa implicação é chamada de Adição.[br]  Todavia, a recíproca (volta) não é verdadeira. Perceba que se (p ou q) é verdadeira, tomando os valores verdade de p como F e q como V, o antecedente de (se (p ou q), então p) é verdadeiro, pois a veracidade de q garante a veracidade da disjunção, mas o consequente (p) é falso. Esse contraexemplo mostra que a volta não é possível, nesse caso.[/justify]

Já nas equivalências, podemos ir de uma para a outra livremente. Da direita para a esquerda e vive versa.