Expresión latina, que significa «modo de negar afirmando», con la que en lógica se caracteriza al argumento cuya forma es: « P o Q; P, por tanto no Q», y en el que la «o», o la disyunción, se interpreta en sentido exclusivo.
- Culpable o inocente
- No es culpable
- ______________
- Luego es inocente
Es una forma de silogismo disyuntivo; en lógica de enunciados se utiliza la forma de disyunción correspondiente a la «o» inclusiva, o modus tollendo ponens, o simplemente silogismo disyuntivo, con el que no debe confundirse.
En lógica de enunciados, le corresponde la ley lógica