- Modus ponendo tollens
-
En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:
- O bien A, o bien B
- A
- Por lo tanto, no B
Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:
- O bien es de día, o bien es de noche.
- Es de día.
- Por lo tanto, no es de noche.
Otra manera de presentar el modus ponendo tollens es:
Y aún otra manera es a través de la notación del cálculo de secuentes:
Véase también
Categorías:- Lógica proposicional
- Expresiones latinas usadas en Filosofía
- Reglas de inferencia
Wikimedia foundation. 2010.