Académique Documents
Professionnel Documents
Culture Documents
En lgica, el modus tollendo tollens (en latn, modo que negando niega), tambin 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 podra ser:
Si hay luz solar, entonces es de da.
No es de da.
Por lo tanto, no hay luz solar.
Es importante evitar caer en el razonamiento incorrecto de:
Slo si es mayor de edad entonces tiene permiso de conducir
No tiene permiso de conducir
Por lo tanto, no es mayor de edad.
Es incorrecto puesto que podra ser mayor de edad y no tener permiso de conducir, de ah la importancia de no confundir
la implicacin (si p, entonces q o pq ) con el bicondicional (p si y solo si q o pq), es decir, p es condicin para que se
pueda dar q, pero p no implica necesariamente q (ser mayor de edad es condicin necesaria, pero no suficiente para
tener permiso de conducir).
Y es incorrecto, porque podra ser de da y no haber luz solar (por tratarse de un da nuboso, por acontecer un eclipse
solar, etctera). Es decir, como se comentaba, que haya luz solar implica que sea de da, pero que sea de da no implica
que haya luz solar. Para el caso del posible conductor, que disponga de permiso de conducir, implica que sea mayor de
edad, pero que sea mayor de edad, no implica que tenga permiso de conducir.
Una manera formal de presentar el modus tollens utilizando conectivas lgicas es: