Palestra Editores

Este argumento difiere del modus ponens porque su premisa categórica afirma el consecuente, y no el antecedente, de la premisa hipotética. Se dice que cualquier argumento de esta forma incurre en la falacia de afirmación del consecuente.

En el caso presente se niega el antecedente en la segunda premisa y se infiere la negación del consecuente de forma igualmente inválida.

Aristóteles no da ejemplos con la formulación “si… entonces…”, sino ejemplos consistentes con su lógica “silogística” de términos de clase.