MODUS TOLLENS

En lógica, el modus tollendo tollens (en latín, Modo Que Negando Niega), también llamado modus tollens o también se le conoce como "negar el consecuente" y generalmente abreviado MTT o MT, es una forma de argumento válido en la lógica, y tiene una regla de inferencia que tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A

Ejemplo:

Tu pierno está sana. Porque si loe estuviera, podrías caminar. Pero no puedes caminar.

El argumento ordenado quedaría así:

La forma incondicional del argumento conocida como modus tollens (mt) es la siguiente:

La estructura mt puede presentarse estas variantes:

. 

MODUS TOLLENS

In logic, the modus tollendo tollens ( in Latin, Modo Que Negando Niega ), otherwise called modus tollens or also he is known like to deny the consequent and generally abridged MTT or MT, a form is of argument been worth in logic, and you have a rule of inference that the following form has :
If To then B
No B
Therefore, not To

Example:

Your leg is healthy. Because if you praise be, you would be able to walk. But you can not walk.

The orderly argument would be left that way:

The unconditional the way of the argument known like modus the following ( mt ) is tollens:

Mt structures it you can encounter these variants: