Módulo 01 - Ordenamentos, o Direito e a Moral.

1 - Equivalência Lógica pelo método da tabela verdade

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:

P ⇔ Q

Ou ainda:

P (p, q, r, ...) ⇔ Q (p, q, r, ...)

Por exemplo, para verificar se as proposições P:p→(q→r) e Q:(p∧q)→r são logicamente equivalentes entre si, constrói-se as tabelas verdades de ambas para a comparação do resultado final. Veja a seguir.