Modus tollens

El modus tollens es una regla de inferencia fundamental dentro de la lógica proposicional y la deducción matemática formal. Esta regla establece que, si se acepta la verdad de una proposición condicional y simultáneamente se constata la falsedad de su consecuente, se deduce necesariamente la falsedad de su antecedente.

Su nombre completo es modus tollendo tollens, una locución latina que se traduce como «el método que negando, niega». A través de este mecanismo, la refutación del resultado esperado en una implicación obliga a descartar la hipótesis de partida.

En el lenguaje de la lógica proposicional, su estructura horizontal o condicional asociado se formula como:

[(p → q) ∧ ¬q] → ¬p

En el esquema de deducción formal, el argumento se representa de manera vertical mediante premisas ordenadas y una conclusión precedida por el símbolo de derivación:

$$ \begin{array}{cl} p \to q \\ \neg q \\ \hline \therefore \neg p \end{array} $$

La validez de este silogismo garantiza que la verdad se preserve a lo largo de toda la inferencia. Si la relación condicional p → q es verdadera, resulta imposible que ocurra el antecedente p siendo el consecuente q falso, por lo que verificar ¬q fuerza de forma inexorable la conclusión ¬p.

Esta regla se fundamenta directamente en la ley del contrarrecíproco, el principio lógico que establece la equivalencia formal (p → q) ≡ (¬q → ¬p). Al transformar la implicación original en su forma contrarrecíproca, la aplicación del modus tollens equivale exactamente a ejecutar un modus ponens sobre dicha estructura equivalente.

Es importante no confundir este método con el modus ponens (o modus ponendo ponens), cuya formulación es [(p → q) ∧ p] → q. Mientras que el modus ponens afirma el antecedente para validar el consecuente, el modus tollens niega el consecuente para invalidar el antecedente.

Ejemplos

Para entender cómo opera esta regla de inferencia en distintos contextos, analizamos a continuación una serie de casos prácticos que van desde situaciones cotidianas hasta deducciones formales y variantes con negaciones.

Ejemplo 1
Premisa 1: Si la alarma del banco se activa, entonces el guardia cierra las puertas de acceso (p → q).
Premisa 2: El guardia no cierra las puertas de acceso (¬q).
Conclusión: Por lo tanto, la alarma del banco no se activó (¬p).

En este primer caso, observamos la estructura clásica de la regla. Al verificar empíricamente que la acción esperada en el consecuente no ocurrió, concluimos necesariamente que la condición inicial que la detonaba tampoco tuvo lugar.

Ejemplo 2
Premisa 1: Si un número entero es múltiplo de cuatro, entonces es un número par (p → q).
Premisa 2: El número 27 no es un número par (¬q).
Conclusión: Por lo tanto, el número 27 no es múltiplo de cuatro (¬p).

En este ejemplo aritmético, sabemos que la paridad es una condición necesaria para que un número sea divisible por cuatro. Al comprobar que 27 es impar, descartamos de forma inmediata y categórica que pueda ser múltiplo de cuatro.

Ejemplo 3
Premisa 1: Si dos rectas no verticales en el plano son paralelas, entonces tienen la misma pendiente (p → q).
Premisa 2: Las rectas L₁ y L₂ no tienen la misma pendiente (¬q).
Conclusión: Por lo tanto, las rectas L₁ y L₂ no son paralelas (¬p).

Dentro de la geometría analítica, la igualdad de pendientes es obligatoria para el paralelismo. Al constatar que los valores de las pendientes difieren, deducimos con total certeza que las rectas se intersecan en algún punto del plano.

Ejemplo 4
Premisa 1: Si un número real no es negativo, entonces es mayor o igual a cero (¬p → q).
Premisa 2: El número analizado no es mayor o igual a cero (¬q).
Conclusión: Por lo tanto, el número analizado es negativo (p).

En esta variante, el antecedente original es una proposición formalmente negada, ¬p. Al negar el consecuente obtenemos ¬(¬p), lo que por la ley de doble negación se transforma directamente en la afirmación p.

Ejemplo 5
Premisa 1: Si un polígono es un triángulo, entonces no tiene diagonales internas (p → ¬q).
Premisa 2: La figura analizada sí posee diagonales internas (q).
Conclusión: Por lo tanto, la figura analizada no es un triángulo (¬p).

Aquí el consecuente de la implicación contiene una negación explícita. La segunda premisa niega dicho consecuente presentándose como una proposición afirmativa, ya que ¬(¬q) ≡ q, permitiendo concluir la negación del antecedente sin alterar la validez del razonamiento.

Ejemplo 6
Premisa 1: Si un cuadrilátero no es un paralelogramo, entonces sus lados opuestos no son de igual longitud (¬p → ¬q).
Premisa 2: El cuadrilátero analizado sí tiene sus lados opuestos de igual longitud (q).
Conclusión: Por lo tanto, el cuadrilátero analizado es un paralelogramo (p).

Este último caso muestra la aplicación del modus tollendo tollens cuando ambas componentes de la implicación contienen negaciones.

Demostración formal

Para demostrar formalmente la validez del modus tollens, podemos recurrir a dos enfoques complementarios: la deducción por equivalencia lógica y el análisis semántico exhaustivo mediante tablas de verdad.

Desde la primera perspectiva, esta regla se deduce de manera directa a partir del modus ponens aplicando la ley del contrarrecíproco. Sabemos que toda implicación p → q es lógicamente equivalente a ¬q → ¬p.

Si reemplazamos la implicación original por su contrarrecíproco en el conjunto de premisas, obtenemos como punto de partida ¬q → ¬p junto con la premisa ¬q. Al aplicar un modus ponens estándar sobre esta nueva estructura, afirmamos el antecedente ¬q y derivamos de forma inmediata el consecuente ¬p, demostrando que ambas reglas comparten el mismo núcleo deductivo.

Por otra parte, la validez universal de este razonamiento se comprueba evaluando el comportamiento de su condicional asociado: [(p → q) ∧ ¬q] → ¬p. Un esquema de inferencia es válido en lógica proposicional si y solo si su condicional correspondiente constituye una tautología.

Construimos la tabla de verdad evaluando cada conectivo paso a paso para verificar todas las asignaciones posibles de los valores de verdad:

p	q	¬p	¬q	p → q	(p → q) ∧ ¬q	[(p → q) ∧ ¬q] → ¬p
V	V	F	F	V	F	V
V	F	F	V	F	F	V
F	V	V	F	V	F	V
F	F	V	V	V	V	V

Al analizar la columna final, observamos que la proposición compuesta resulta verdadera en todas las combinaciones posibles de entrada. Al no existir ningún caso donde las premisas sean simultáneamente verdaderas y la conclusión sea falsa, queda formalmente demostrado que el modus tollens es una regla de inferencia válida.

Falacia de negación del antecedente

La falacia de negación del antecedente es un error formal de razonamiento que surge al interpretar erróneamente una condición suficiente como si fuese una condición necesaria dentro de una implicación. Este razonamiento incorrecto asume que, si la condición inicial no se cumple, el resultado tampoco puede ocurrir. Su estructura formal asociada se expresa como [(p → q) ∧ ¬p] → ¬q.

A diferencia del modus tollens, donde la negación del consecuente garantiza la falsedad del antecedente, negar el antecedente no aporta información determinante sobre el estado de verdad del consecuente.

Ejemplos de la falacia

Ejemplo 1
Premisa 1: Si la alarma del banco se activa, entonces el guardia cierra las puertas de acceso (p → q).
Premisa 2: La alarma del banco no se activó (¬p).
Conclusión errónea: Por lo tanto, el guardia no cierra las puertas de acceso (¬q).

En este caso cotidiano evidenciamos el fallo deductivo. El guardia puede cerrar los accesos por múltiples motivos distintos a la activación de la alarma, como el final del horario de atención o un simulacro programado.

Ejemplo 2
Premisa 1: Si un número entero es múltiplo de cuatro, entonces es un número par (p → q).
Premisa 2: El número 18 no es múltiplo de cuatro (¬p).
Conclusión errónea: Por lo tanto, el número 18 no es un número par (¬q).

Este contraejemplo aritmético demuestra de forma concluyente la invalidez del argumento. Aunque ambas premisas son formalmente verdaderas, la conclusión obtenida es manifiestamente falsa, pues 18 sí es un número par.

Demostración de invalidez mediante tabla de verdad

Para comprobar que este esquema argumentativo carece de validez lógica, evaluamos exhaustivamente la fórmula condicional [(p → q) ∧ ¬p] → ¬q a través de su tabla de verdad.

p	q	¬p	¬q	p → q	(p → q) ∧ ¬p	[(p → q) ∧ ¬p] → ¬q
V	V	F	F	V	F	V
V	F	F	V	F	F	V
F	V	V	F	V	V	F
F	F	V	V	V	V	V

Al examinar la última columna, observamos un valor falso en la tercera fila, correspondiente al escenario donde p es falso y q es verdadero. La presencia de este valor falso confirma que la expresión no es una tautología, sino una contingencia, lo que invalida este patrón como regla de inferencia deductiva.

Bibliografía

• Acevedo González, G. (2011). Lógica Matemática. Universidad Nacional Abierta y a Distancia (UNAD).
• Copi, I. y Cohen, C. (2013). Introducción a la Lógica (2da edición). Limusa.
• Corral de Franco, Y. y Manzanares, L. (2018). Nociones Elementales de lógica matemática y teoría de conjuntos. Caracas. Fondo editorial OPSU.
• Garrido, M. (1974). Lógica simbólica (4ta edición). Tecnos.
• Gentile, E. (1984). Notas de Álgebra I. Editorial Universitaria de Buenos Aires.
• Moreno, A. (1969). Lógica matemática: antecedentes y fundamentos. Editorial Universitaria de Buenos Aires.
• Puyau, H. y Roetti, J. (1976). Elementos de Lógica Matemática. Editorial Universitaria de Buenos Aires.