Regla de inferencia modus tollens

U — Universitario / fuera de foco PAES Avanzada

Resumen inicial

Definición, estructura deductiva y validez formal de la regla de inferencia Modus Tollendo Tollens (negando el consecuente se niega el antecedente).

Explicación en palabras simples

El Modus Tollens (nombre completo: Modus Tollendo Tollens, que significa "el método que niega negando") es una regla de deducción lógica que funciona al revés del Modus Ponens. Dice lo siguiente: si sabemos que una regla condicional es verdadera ("Si llueve, el piso está mojado") y comprobamos que la consecuencia NO ocurrió ("El piso NO está mojado"), podemos concluir con total seguridad que la causa inicial tampoco ocurrió ("Por lo tanto, NO está lloviendo").

Infografía: Regla de Inferencia Modus Tollens

Explicación formal

Definición formal

En el cálculo deductivo y los sistemas de deducción natural, el Modus Tollendo Tollens (MT) es una regla de inferencia válida cuya estructura secuencial formal es:
$$\frac{p \to q, \quad \neg q}{\therefore \neg p}$$
Su validez semántica se sustenta en que la fórmula implicativa correspondiente es una tautología estricta:
$$\models ((p \to q) \land \neg q) \to \neg p$$

Desglose simbólico

  • Premisa Mayor: $p \to q$ (regla condicional establecida).
  • Premisa Menor: $\neg q$ (negación fáctica del consecuente).
  • Conclusión necesaria: $\neg p$ (deducción irrebatible de la negación del antecedente).
  • Equivalencia con Modus Ponens: Corresponde a aplicar Modus Ponens sobre la forma contrarrecíproca: $\frac{\neg q \to \neg p, \quad \neg q}{\therefore \neg p}$.

Síntesis didáctica

El Modus Tollens es el fundamento lógico del método de reducción al absurdo y del falseamiento de hipótesis en el método científico.

Comprueba tu avance ¿Cuál es el esquema formal y la conclusión deducida mediante la regla del Modus Tollens?

Definiciones clave

  • Modus Tollens (MT): Regla de inferencia que permite deducir $\neg p$ a partir de las premisas $p \to q$ y $\neg q$.
  • Negación del consecuente: Condición requerida en la premisa menor para activar válidamente la deducción del Modus Tollens.
  • Principio de falsabilidad: Capacidad de refutar una hipótesis inicial al comprobar la falsedad de una de sus predicciones necesarias.

Propiedades y relaciones importantes

  • Preservación de la verdad: Si el condicional es verdadero y el consecuente es falso, el antecedente no puede haber sido verdadero.
  • Distinción con la falacia de negación del antecedente: Conocer $p \to q$ y $\neg p$ NO permite deducir $\neg q$.

Ejemplo guiado

Aplica la regla del Modus Tollens a las siguientes premisas: Premisa 1: "Si un cuadrilátero es un rectángulo, entonces sus diagonales son de igual longitud". Premisa 2: "El cuadrilátero $C$ no tiene diagonales de igual longitud".

Diagrama: Regla de Inferencia Modus Tollens

  • Paso 1: Identificar las variables proposicionales: - $p$: "El cuadrilátero $C$ es un rectángulo". - $q$: "Las diagonales del cuadrilátero $C$ son de igual longitud".
  • Paso 2: Escribir la Premisa 1 en forma simbólica: $p \to q$.
  • Paso 3: Escribir la Premisa 2 en forma simbólica: $\neg q$ (se niega el consecuente).
  • Paso 4: Aplicar el esquema del Modus Tollens $\frac{p \to q, \quad \neg q}{\therefore \neg p}$.
  • Paso 5: Enunciar la conclusión deducida: "Por lo tanto, el cuadrilátero $C$ no es un rectángulo" ($\neg p$).
Comprueba tu avance ¿A qué regla de inferencia equivale el Modus Tollens cuando el condicional se transforma a su forma contrarrecíproca?

Procedimiento

  • Paso 1: Localizar la premisa condicional mayor: $p \to q$.
  • Paso 2: Localizar la premisa menor y verificar que corresponde a la negación estricta del consecuente: $\neg q$.
  • Paso 3: Verificar que no se esté negando el antecedente (evitando la falacia de negación del antecedente).
  • Paso 4: Emitir formalmente la conclusión necesaria: $\neg p$.

Errores frecuentes y cómo corregirlos

  • Error 1: Negar el antecedente $\neg p$ para intentar deducir $\neg q$. Cómo corregirlo: Si tenemos $p \to q$ y sabemos $\neg p$, no se puede concluir $\neg q$ (Falacia de Negación del Antecedente). El Modus Tollens exige negar el consecuente ($\neg q$).
  • Error 2: Creer que el Modus Tollens concluye una afirmación sin negar. Cómo corregirlo: El Modus Tollens concluye la negación de la hipótesis: si la hipótesis era $p$, concluye $\neg p$; si la hipótesis era $\neg p$, concluye $\neg(\neg p) \equiv p$.

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

1 Premisas: "Si un número $n$ es divisible por 10, entonces termina en 0" y "El número $n$ no termina en 0". ¿Qué se concluye?
2 ¿La fórmula $((p \to q) \land \neg q) \to \neg p$ es una tautología?
3 Dadas las premisas $\neg p \to q$ y $\neg q$, ¿se concluye válidamente $p$?
4 ¿El Modus Tollens fundamenta la prueba por reducción al absurdo?

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La validez deductiva del Modus Tollens se fundamenta en que la implicación $((p \to q) \land \neg q) \to \neg p$ es una tautología universal."
"La regla del Modus Tollens establece que a partir de la premisa condicional $p \to q$ y la negación del consecuente $\neg q$, se deduce válidamente la negación del antecedente $\neg p$."
"La afirmación de que el Modus Tollens no es equivalente al Modus Ponens aplicado sobre el contrarrecíproco."
"La afirmación de que la fórmula condicional del Modus Tollens contiene filas falsas en su tabla de verdad."
"La afirmación de que el Modus Tollens se aplica afirmando el consecuente de la implicación."
"La afirmación de que a partir de las premisas $p \to q$ y $\neg p$ se deduce válidamente $\neg q$ mediante Modus Tollens."
"La afirmación de que el Modus Tollens puede conducir a una conclusión inválida si las premisas son verdaderas."

Al terminar debes poder

Cuadro resumen: Regla de Inferencia Modus Tollens

🎯 QUÉ Objetivo

Conocer, justificar y aplicar la regla de inferencia deductiva Modus Tollens ($\frac{p \to q, \neg q}{\therefore \neg p}$).

⚙️ CÓMO Procedimiento

Identificar la negación del consecuente, aplicar la regla de negación del antecedente y distinguirla de la falacia de negación del antecedente.

Fuente: Currículum Nacional MINEDUC y elaboración pedagógica ProfeOnline.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

  1. ¿Qué afirmación clave conviene recordar sobre modus tollens?

  2. ¿Cuál de los siguientes casos ejemplifica mejor modus tollens?

  3. ¿Qué describe mejor modus tollens?

Reconocimiento

Identificar elementos, datos o procedimientos.

  1. Identifica la opción que corresponde a modus tollens.

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

  1. ¿Es correcto afirmar que modus tollens permite concluir ¬p a partir de p → q y ¬q?

  2. ¿El caso “Si estudias, apruebas. No apruebas. Luego, no estudias” corresponde a modus tollens?

  3. ¿La afirmación “El contrarrecíproco es lógicamente equivalente al condicional original.” describe modus tollens?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

  1. Un profesor escribe la afirmación “Su esquema es: p → q, ¬q, por lo tanto ¬p”. ¿A qué recurso se refiere principalmente?

  2. En un control se pide identificar la definición correcta de modus tollens. ¿Qué alternativa debe marcarse?

  3. En una guía PAES, una estudiante debe reconocer modus tollens. ¿Qué alternativa aplica correctamente esta idea?

Evaluación de dominio

☆☆☆ 0/3 niveles aprobados
Nivel 1 Definición
Nivel 2 Ejercicios simples
Nivel 3 Problemas de aplicación

¿Necesitas más ayuda o una clase particular?

Contáctame directamente para resolver dudas, preparar exámenes o agendar clases particulares personalizadas 1 a 1.

Escríbeme por WhatsApp Llamar directamente