Modus ponens

El modus ponens es una regla de inferencia fundamental dentro de la lógica proposicional y la deducción matemática. Esta regla establece que, si se acepta la verdad de una proposición condicional y simultáneamente se afirma la verdad de su antecedente, se deduce necesariamente la verdad de su consecuente. Su nombre formal completo es modus ponendo ponens, una locución latina que se traduce como «el método que afirmando, afirma».

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

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

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 \\ p \\ \hline \therefore q \end{array} $$

La validez de este silogismo garantiza que la verdad se preserve a lo largo de la inferencia. Siempre que la relación condicional sea verdadera y el antecedente ocurra efectivamente, resulta imposible que el consecuente sea falso.

Es importante no confundir esta regla con otra inferencia válida fundamental llamada modus tollendo tollens (o simplemente modus tollens), cuya estructura condicional es [(p → q) ∧ ¬q] → ¬p. A diferencia del modus ponens, este método establece que al negar el consecuente de una implicación verdadera, se deduce necesariamente la negación de su antecedente.

Ejemplos

Para comprender 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.

Ejemplo 1
Premisa 1: Si llueve intensamente en la ciudad, el pavimento de las calles queda mojado (p → q).
Premisa 2: Llueve intensamente en la ciudad (p).
Conclusión: Por lo tanto, el pavimento de las calles queda mojado (q).

En este caso cotidiano identificamos el antecedente p como el hecho de que llueve. Al comprobar empíricamente que la lluvia ocurre, se deduce de manera directa y necesaria el consecuente q.

Ejemplo 2
Premisa 1: Si la última cifra de un número entero es cero, entonces dicho número es divisible por diez (p → q).
Premisa 2: La última cifra del número 750 es cero (p).
Conclusión: Por lo tanto, el número 750 es divisible por diez (q).

Observamos aquí una aplicación clásica en aritmética elemental. Al verificar que el valor numérico 750 cumple con la condición establecida en el antecedente, la propiedad de divisibilidad del consecuente queda demostrada automáticamente.

Ejemplo 3
Premisa 1: Si un triángulo es equilátero, entonces la medida de sus tres ángulos internos es de sesenta grados (p → q).
Premisa 2: El triángulo analizado es equilátero (p).
Conclusión: Por lo tanto, la medida de los tres ángulos internos de dicho triángulo es de sesenta grados (q).

Dentro de la geometría euclidiana, la hipótesis de congruencia en los lados activa de forma obligada la conclusión sobre sus ángulos interiores.

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

En esta variante el antecedente es una proposición formalmente negada, ¬p. El modus ponendo ponens se aplica con total normalidad porque la segunda premisa afirma el contenido del antecedente original.

Ejemplo 5
Premisa 1: Si un número entero es primo mayor que dos, entonces no es divisible por dos (p → ¬q).
Premisa 2: El número 17 es un número primo mayor que dos (p).
Conclusión: Por lo tanto, el número 17 no es divisible por dos (¬q).

Aquí la consecuencia del condicional es una proposición negativa. Al validar el antecedente afirmativo, la deducción hereda directamente la negación presente en el consecuente.

Ejemplo 6
Premisa 1: Si una ecuación cuadrática no tiene soluciones reales, entonces su discriminante no es mayor o igual a cero (¬p → ¬q).
Premisa 2: La ecuación cuadrática estudiada no tiene soluciones reales (¬p).
Conclusión: Por lo tanto, su discriminante no es mayor o igual a cero (¬q).

Este caso muestra la presencia de negaciones tanto en el antecedente como en el consecuente. Comprobamos así que el modus ponens opera a nivel estrictamente estructural, garantizando la conclusión independientemente de la carga de negaciones que posean las proposiciones involucradas.

Demostración formal

Para demostrar la validez lógica del modus ponens, analizamos el comportamiento semántico de su condicional asociado: [(p → q) ∧ p] → q. Un argumento deductivo es válido si y solo si su estructura condicional correspondiente constituye una tautología.

Recordemos que una tautología es una proposición compuesta que resulta verdadera para todas las combinaciones posibles de valores de verdad de sus variables proposicionales. Si construimos la tabla de verdad evaluando cada paso, verificamos de manera exhaustiva que no existe ningún escenario donde las premisas sean verdaderas y la conclusión sea falsa.

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

Dado que la última columna contiene exclusivamente valores verdaderos en todas sus asignaciones, queda formalmente demostrado que el modus ponens es un razonamiento válido.

Falacia de afirmación del consecuente

La falacia de afirmación del consecuente es uno de los errores formales más frecuentes al razonar con proposiciones condicionales. Ocurre al confundir la dirección lógica de la implicación, intentando deducir la ocurrencia del antecedente a partir de la presencia del consecuente.

A diferencia del modus ponens, cuya estructura válida es [(p → q) ∧ p] → q, este esquema falaz adopta la forma [(p → q) ∧ q] → p. El error radica en asumir incorrectamente que una condición necesaria equivale a una condición suficiente.

Ejemplo 1
Premisa 1: Si llueve intensamente en la ciudad, el pavimento de las calles queda mojado (p → q).
Premisa 2: El pavimento de las calles está mojado (q).
Conclusión errónea: Por lo tanto, ha llovido intensamente en la ciudad (p).

En esta deducción cotidiana vemos con claridad la falla estructural. El suelo puede encontrarse mojado por múltiples causas ajenas a la lluvia, como el uso de una manguera o la limpieza municipal, por lo que la conclusión no se deriva de forma obligada.

Ejemplo 2
Premisa 1: Si un número entero termina en cero, entonces es divisible por cinco (p → q).
Premisa 2: El número 35 es divisible por cinco (q).
Conclusión errónea: Por lo tanto, el número 35 termina en cero (p).

Este contraejemplo aritmético evidencia la invalidez del argumento. Aunque ambas premisas son verdaderas de forma independiente, la conclusión alcanzada es categóricamente falsa.

Demostración de invalidez mediante tabla de verdad

Para comprobar formalmente que este razonamiento carece de validez deductiva, construimos la tabla de verdad de su fórmula condicional asociada: [(p → q) ∧ q] → p.

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

Al observar el resultado final en la última columna, identificamos un valor falso en la tercera fila, correspondiente al caso donde el antecedente es falso y el consecuente es verdadero. Esto demuestra que la proposición no constituye una tautología, sino una contingencia.

La existencia de al menos un caso de falsedad confirma de manera concluyente que la afirmación del consecuente es una regla inválida en la lógica 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.