Considere a seguinte sentença lógica: “Se Miguel anda
descalço e o chão está sujo, então ele fica com os pés sujos.”
Admitindo a validade dessa sentença e supondo que é válida a
sentença “Miguel está com os pés limpos.”, podemos afirmar
que a sentença logicamente verdadeira é: