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

TODAS LAS MUJERES SON BELLAS ENTONCES SON DIFICILES
SI NO SON DIFICILES
NO SON MUJERES