modus tollendo

Modus tollendo tollens
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:

Si está soleado, entonces es de día.
No es de día.
Por lo tanto, no está soleado.
Otra manera de presentar el modus tollens es:


Y aún otra manera es a través de la notación del cálculo de secuentes:


En lógica proposicional su representación sería la siguiente :