Considere a seguinte sentença lógica: “Se Pedro sai na chuva e não leva o guarda-chuva, então Pedro fica resfriado”. Admitindo a validade desta sentença e supondo que é válida a sentença “Pedro não fica resfriado”, podemos afirmar que a sentença verdadeira é: