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

p → (q → r) (p ∧ q) → r
V V
F F
V V
V V
V V
V V
V V
V V

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
Copyright © 2016 AIEC.