Silogismo hipotético

El silogismo hipotético es una regla de inferencia fundamental dentro del cálculo proposicional y los sistemas deductivos formales. Esta regla establece que, a partir de dos proposiciones condicionales encadenadas donde el consecuente de la primera coincide con el antecedente de la segunda, se deduce de manera válida una nueva implicación que conecta el primer antecedente con el último consecuente.

En el ámbito de la lógica clásica y la literatura matemática, esta ley recibe también las denominaciones de silogismo hipotético puro o ley de transitividad del condicional. El calificativo de «puro» se emplea para distinguirlo de esquemas como el modus ponens o el modus tollens, puesto que en este razonamiento todas las premisas involucradas y la conclusión final conservan una estructura estrictamente condicional.

En la notación horizontal del lenguaje proposicional, su fórmula o condicional asociado se expresa como:

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

En los esquemas de deducción natural, el argumento se estructura verticalmente mediante la disposición secuencial de sus premisas y una conclusión precedida por el símbolo de derivación:

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

La fuerza lógica de esta regla descansa en la propiedad transitiva de la implicación. Si la ocurrencia de la hipótesis p garantiza necesariamente la verdad del estado intermedio q, y a su vez la presencia de q asegura la realización del resultado r, la satisfacción inicial de p desencadena una secuencia inexorable que valida la verdad de r.

No hay que confundir este principio con el silogismo disyuntivo, ya que este último opera a partir de una disyunción y la negación de uno de sus miembros para afirmar el restante mediante la estructura [(p ∨ q) ∧ ¬p] → q, mientras que el silogismo hipotético trabaja exclusivamente mediante el encadenamiento de relaciones condicionales.

Ejemplos

Para comprender el funcionamiento del silogismo hipotético en distintos contextos matemáticos y del lenguaje cotidiano, analizamos a continuación una serie de ejemplos.

Ejemplo 1

Premisa 1: Si llueve intensamente, entonces el suelo del patio se moja (p → q)
Premisa 2: Si el suelo del patio se moja, entonces la superficie se vuelve resbaladiza (q → r).
Conclusión: Por lo tanto, si llueve intensamente, entonces la superficie se vuelve resbaladiza (p → r).

En este primer caso observamos el encadenamiento directo de dos relaciones causa-efecto. La proposición intermedia «el suelo del patio se moja» actúa como un puente lógico que transfiere la verdad desde la condición inicial hasta el resultado final.

Ejemplo 2

Premisa 1: Si un número entero es múltiplo de 12, entonces es divisible por 6 (p → q).
Premisa 2: Si un número entero es divisible por 6, entonces es un número par (q → r).
Conclusión: Por lo tanto, si un número entero es múltiplo de 12, entonces es un número par (p → r).

Aquí aplicamos la regla sobre propiedades aritméticas básicas. Como la pertenencia al conjunto de múltiplos de 12 garantiza la divisibilidad por 6, y esta a su vez asegura la paridad, derivamos de forma directa la implicación entre los extremos.

Ejemplo 3

Premisa 1: Si una figura plana es un cuadrado, entonces es un rombo (p → q).
Premisa 2: Si una figura plana es un rombo, entonces sus diagonales son perpendiculares (q → r).
Conclusión: Por lo tanto, si una figura plana es un cuadrado, entonces sus diagonales son perpendiculares (p → r).

En las definiciones geométricas, las relaciones de inclusión de figuras permiten conectar propiedades estructurales. La conclusión hereda válidamente la perpendicularidad de las diagonales sin necesidad de evaluar figuras intermedias.

Ejemplo 4

Premisa 1: Si un número real x es estrictamente mayor que 5, entonces x es mayor que 0 (p → q).
Premisa 2: Si un número real x es mayor que 0, entonces su cuadrado x² es un número positivo (q → r).
Conclusión: Por lo tanto, si un número real x es estrictamente mayor que 5, entonces su cuadrado x² es un número positivo (p → r).

En este caso sobre el orden en la recta real, la condición x > 5 garantiza de inmediato que x pertenezca a los reales positivos. Al encadenar este hecho con la propiedad cuadrática, obtenemos una deducción directa y válida para cualquier valor mayor a 5.

Ejemplo 5

Premisa 1: Si un número entero es múltiplo de 20, entonces es múltiplo de 10 (p → q).
Premisa 2: Si un número entero es múltiplo de 10, entonces su última cifra es cero (q → r).
Premisa 3: Si la última cifra de un número entero es cero, entonces es divisible por 5 (r → s).
Conclusión: Por lo tanto, si un número entero es múltiplo de 20, entonces es divisible por 5 (p → s).

Este último caso demuestra la escalabilidad del silogismo hipotético. Al aplicar la regla sucesivamente entre las dos primeras premisas obtenemos p → r, y al contrastar este resultado intermedio con la tercera premisa derivamos la relación final p → s.

Demostración mediante tabla de verdad

Para comprobar la validez universal del silogismo hipotético, analizamos el comportamiento semántico de su condicional asociado: [(p → q) ∧ (q → r)] → (p → r). En la lógica proposicional, una regla de inferencia es formalmente válida si y solo si su fórmula condicional correspondiente resulta ser una tautología.

Al contar con tres variables proposicionales simples (p, q y r), evaluamos las 2³ = 8 combinaciones posibles de valores de verdad. Construimos la tabla de verdad analizando cada conectivo lógico de forma secuencial:

Al examinar la última columna, constatamos que el valor de verdad es verdadero (V) en todas las filas sin excepción. Esto demuestra que la proposición compuesta es una tautología.

No existe ninguna combinación de valores donde las premisas conjuntas sean verdaderas y la conclusión sea falsa al mismo tiempo. Por consiguiente, queda demostrado de manera rigurosa que el silogismo hipotético es una regla de inferencia formalmente válida.