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. |