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