Finalizadas as interpretações da aplicação da regra sobre as combinações de valores lógicos, finaliza-se também a resolução da tabela verdade, obtendo-se para a proposição p → q o seguinte resultado final:

p q p → q
1. V V V
2. V F F
3. F V V
4. F F V

Por fim, conclui-se que das 4 possibilidades, 3 satisfazem a regra, por resultarem em verdade na coluna p → q:

p q p → q
1. V V V
2. V F F
3. F V V
4. F F V

Regra da condicional


Só é falso quando V → F. É verdade nos demais casos.



Copyright © 2016 AIEC.