É importante notar:

As distribuições de valores lógicos das colunas das proposições componentes são iguais entre si. Este recurso possibilita compararmos as respectivas colunas de resultados.

Veja abaixo as colunas de p, q e r de ambas as tabelas. Comparando linha a linha, notará que todas estão com combinações valores idênticas. Por exemplo, a combinação V V V V da linha 1 de P é igual a da linha 1 de Q, conforme ocorre até a última linha 8.

Tabela verdade de P: p → (q → r)

Tabela verdade de Q: (p ∧ q) → r



Copyright © 2014 AIEC.