MODUS TOLLENDO TOLLENS

Modus tollendo tollens

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:

A →B                                               
­^­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­­    ­~B       

~A