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:

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