É 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)

p q r
1. V V V
2. V V F
3. V F V
4. V F F
5. F V V
6. F V F
7. F F V
8. F F F

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

p q r
1. V V V
2. V V F
3. V F V
4. V F F
5. F V V
6. F V F
7. F F V
8. F F F
Copyright © 2016 AIEC.