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 é: