Question

Enunciado: la ley de inferencia modus tollens es: seleccione una:
a. una operación entre premisas.
b. es una manera de cancelar premisas.
c. una tautología.
d. una sección del argumento al que se intenta hayar un valor de verdad. .

Answer 1

Al igual que otras múltiples reglas de inferencia que se tienen dentro de la literatura de la lógica, el modus tollens es una forma de argumento válida, a su vez que es una regla de inferencia en lógica proposicional.

Es bastante simple, esta regla simplemente establece que al tener una afirmación que implique otra, y esta segunda sea falsa, por ende la primera será igualmente falsa. 

Algunos ejemplos de esto: 

Si el agua hierve, entonces soltará vapor.
Entonces si no suelta vapor.
Implica que no está hirviendo el agua..

Si llueve te espero en casa,
no te espero en casa, 
por tanto no está lloviendo. 

Si llegase a tener hambre almorzaré antes de que llegues,
no he almorzado, 
entonces no tengo hambre. 

Sin embargo, tomando en cuenta estos ejemplos, podemos evidenciar que no siempre puede ser tan literal como descartar la premisa inicial ya que pueden haber otras causas y derivaciones que impliquen que nuestra premisa inicial sea acertada. 

En estos casos, tal vez exista una asociación con otras premisas que generen una segunda relación que no puede ser simplemente descartada a partir de un modus tollens.

Efectivamente puede ser un malentendido, debido a que uno podria pensar que existen otras causas para no cumplir con la segunda premisa.