Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
.
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 (ver ejemplo). 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