El modus tollendo ponens (latín: "el modo que, al negar, afirma) establece que, si se nos dice que al menos una de las dos proposiciones es verdadera; y también se nos dijo que no es la primera la que es verdadera; se puede inferir que debe ser la última la que es verdadera. Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero.
El modus tollendo ponens puede escribirse formalmente como:
Oops! This image does not follow our content guidelines. To continue publishing, please remove it or upload a different image.
Un ejemplo: Es de color rojo o azul. No es azul. Por lo tanto, es de color rojo.
Contiene una disyunción lógica, que es simplemente el "o" que conecta ambos términos.
Yo o elegiré sopa o elegiré ensalada. No voy a elegir sopa. Por lo tanto, voy a elegir ensalada.
