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

Comparando-se os resultados das tabelas verdades de P e Q, tem-se:

Conclusão:

São equivalentes entre si as proposições P:p→(q→r) e Q:(p∧q)→r, devido à igualdade de resultados das respectivas tabelas verdades.

Assim, pode-se afirmar:

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

Ou simplesmente:

p→(q→r)⇔(p∧q)→r