Dilema constructivo

El dilema constructivo es una regla de inferencia fundamental en la lógica proposicional que establece que, si disponemos de dos implicaciones condicionales y se afirma la disyunción de sus antecedentes, se concluye de manera válida y necesaria la disyunción de sus respectivos consecuentes.

Desde el punto de vista operativo, este razonamiento representa una generalización directa de la regla del modus ponens aplicada de forma simultánea sobre dos alternativas. Si sabemos que una de las dos condiciones de partida debe ocurrir necesariamente, podemos garantizar que al menos una de las dos consecuencias derivadas tendrá lugar.

En la notación del cálculo proposicional, la estructura del dilema constructivo se expresa de forma horizontal mediante el siguiente condicional asociado:

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

Cuando trabajamos en deducciones formales de disposición vertical, las tres premisas se colocan de forma secuencial antes de la línea de derivación:

$$ \begin{array}{cl} p \rightarrow q \\ r \rightarrow s \\ p \lor r \\ \hline \therefore q \lor s \end{array} $$

El fundamento semántico del dilema constructivo radica en la imposibilidad de evadir las consecuencias de una disyunción inicial. Dado que la premisa p ∨ r asegura la verdad de al menos uno de los antecedentes, el condicional correspondiente se activa y transfiere su valor de verdad hacia el consecuente respectivo.

Es importante no confundir el dilema constructivo con el dilema destructivo, ya que operan bajo mecanismos deductivos opuestos. Mientras que el dilema constructivo funciona como una extensión del modus ponens al afirmar antecedentes para concluir la disyunción de sus consecuentes, el dilema destructivo se fundamenta en el modus tollens.

En el dilema destructivo se parte de la negación disyuntiva de los consecuentes ¬q ∨ ¬s junto a las dos implicaciones, deduciendo de manera válida la negación disyuntiva de los antecedentes ¬p ∨ ¬r. Ambos esquemas constituyen las dos formas canónicas de procesar disyunciones mediante condicionales en el cálculo proposicional.

Ejemplos

Para comprender cómo opera la ley del dilema constructivo en diversos contextos, analizaremos a continuación cinco situaciones prácticas que abarcan desde decisiones de la vida diaria hasta propiedades algebraicas y analíticas.

Ejemplo 1

Premisa 1: Si llueve por la tarde, iremos a ver una película al cine (p → q).
Premisa 2: Si hace una tarde soleada, saldremos a caminar por el parque (r → s).
Premisa 3: Hoy por la tarde lloverá o hará una tarde soleada (p ∨ r).
Conclusión: Por lo tanto, iremos a ver una película al cine o saldremos a caminar por el parque (q ∨ s).

En este primer caso, contamos con dos planes condicionales vinculados al estado del tiempo. Al confirmarse que ocurrirá una de las dos condiciones climáticas iniciales, deducimos de forma inmediata que realizaremos una de las dos actividades previstas.

Ejemplo 2

Premisa 1: Si nos otorgan la beca completa, cursaremos el semestre en la universidad pública (p → q).
Premisa 2: Si conseguimos un trabajo de medio tiempo, pagaremos la matrícula del instituto privado (r → s).
Premisa 3: Nos otorgan la beca completa o conseguimos un trabajo de medio tiempo (p ∨ r).
Conclusión: Por lo tanto, cursaremos el semestre en la universidad pública o pagaremos la matrícula del instituto privado (q ∨ s).

Aquí evaluamos dos caminos de financiamiento educativo independientes entre sí. Como garantizamos que se cumplirá al menos una de las dos oportunidades, la conclusión preserva con certeza la realización de una de las dos metas académicas.

Ejemplo 3

Premisa 1: Si el paquete se envía por correo postal tradicional, el cliente lo recibe en cinco días hábiles (p → q).
Premisa 2: Si el paquete se envía mediante transporte exprés, el cliente lo recibe en veinticuatro horas (r → s).
Premisa 3: El paquete se envía por correo postal tradicional o mediante transporte exprés (p ∨ r).
Conclusión: Por lo tanto, el cliente lo recibe en cinco días hábiles o lo recibe en veinticuatro horas (q ∨ s).

En esta situación logística, las condiciones de envío determinan los plazos de entrega del producto. Al seleccionar necesariamente una de las dos opciones de despacho, aseguramos que el plazo final coincidirá con uno de los dos lapsos establecidos.

Ejemplo 4

Premisa 1: Si evaluamos la función f(x) = cos(x), la gráfica presenta simetría respecto al eje y (p → q).
Premisa 2: Si evaluamos la función g(x) = sen(x), la gráfica presenta simetría respecto al origen de coordenadas (r → s).
Premisa 3: Evaluamos la función f(x) = cos(x) o evaluamos la función g(x) = sen(x) (p ∨ r).
Conclusión: Por lo tanto, la gráfica presenta simetría respecto al eje y o presenta simetría respecto al origen de coordenadas (q ∨ s).

En este escenario del análisis matemático, cada función trigonométrica analizada posee un comportamiento de paridad bien definido. La certeza de trabajar con la función coseno o con la función seno nos permite inferir que la curva resultante exhibirá simetría par o simetría impar.

Ejemplo 5

Premisa 1: Si un número entero n es múltiplo de 4, el número n es un entero par (p → q).
Premisa 2: Si la última cifra del número entero n termina en 0, el número n es divisible por 5 (r → s).
Premisa 3: El número entero n es múltiplo de 4 o su última cifra termina en 0 (p ∨ r).
Conclusión: Por lo tanto, el número n es un entero par o es divisible por 5 (q ∨ s).

Dentro de la aritmética elemental, vinculamos dos propiedades de divisibilidad distintas a través de sus hipótesis. Al verificarse una de las condiciones sobre la estructura del número n, garantizamos válidamente que el número cumplirá al menos una de las dos características resultantes.

Demostración formal

Para verificar la validez lógica del dilema constructivo sin recurrir a procedimientos excesivamente extensos, podemos realizar una demostración deductiva paso a paso empleando leyes de equivalencia lógica y reglas de inferencia elementales.

Nuestro objetivo es derivar la conclusión q ∨ s a partir del conjunto de premisas iniciales:

1. p → q (Premisa 1)
2. r → s (Premisa 2)
3. p ∨ r (Premisa 3)

En primer lugar, aplicamos el método de demostración por casos sobre la disyunción de la premisa 3, analizando qué ocurre cuando asumimos la verdad de cada una de las dos alternativas de forma independiente.

Para el primer caso, suponemos temporalmente que el antecedente p es verdadero:

4. p (Supuesto del caso 1)
5. q (Modus ponens entre 1 y 4)
6. q ∨ s (Ley de adición disyuntiva aplicada a 5)

Para el segundo caso, suponemos ahora que el segundo antecedente r es el que resulta verdadero:

7. r (Supuesto del caso 2)
8. s (Modus ponens entre 2 y 7)
9. q ∨ s (Ley de adición disyuntiva aplicada a 8)

Dado que ambos supuestos conducen de forma ineludible a la misma proposición compuesta q ∨ s, cerramos la eliminación de la disyunción inicial (premisa 3) para concluir definitivamente:

10. q ∨ s (Regla de eliminación de la disyunción entre 3, 4–6 y 7–9)

De este modo, queda demostrado formalmente que la conclusión se deriva con absoluta necesidad lógica a partir de las premisas dadas.

Es importante señalar que la validez de este esquema también puede comprobarse mediante una tabla de verdad para el condicional asociado [(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s). Sin embargo, al involucrar cuatro variables proposicionales simples (p, q, r y s), dicho procedimiento requeriría construir y evaluar 2⁴ = 16 filas completas para confirmar que el resultado es una tautología.

Dilema constructivo simple

El dilema constructivo simple es un caso particular de esta regla de inferencia en el que ambas implicaciones conducen a la misma consecuencia. A diferencia de la variante compleja, donde se derivan dos resultados distintos en disyunción, aquí el resultado final se reduce a una única proposición.

En este esquema deductivo, disponemos de dos hipótesis o antecedentes alternativos en la premisa disyuntiva p ∨ r. Sin embargo, dado que tanto p como r implican de forma independiente al mismo consecuente q, la ocurrencia de cualquiera de ellos garantiza la verdad ineludible de q.

En el cálculo proposicional, el condicional asociado a esta ley se expresa de la siguiente manera:

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

En las deducciones formales de estructura vertical, disponemos las tres premisas antes de la línea de derivación:

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

El fundamento algebraico de esta simplificación reside en la ley de idempotencia de la disyunción. Al aplicar el dilema constructivo estándar obtenemos formalmente la conclusión intermedia q ∨ q, la cual es lógicamente equivalente a q (es decir, q ∨ q ≡ q).

Ejemplo 1

Premisa 1: Si tomamos la ruta por la autopista, llegaremos a tiempo a la conferencia (p → q).
Premisa 2: Si tomamos el atajo por la avenida principal, llegaremos a tiempo a la conferencia (r → q).
Premisa 3: Tomamos la ruta por la autopista o tomamos el atajo por la avenida principal (p ∨ r).
Conclusión: Por lo tanto, llegaremos a tiempo a la conferencia (q).

En este caso cotidiano, tenemos dos trayectos viales distintos que conducen a un objetivo común. Como necesariamente debemos transitar por una de las dos vías, garantizamos con certeza que arribaremos puntuales a nuestro destino, sin importar la alternativa tomada.

Ejemplo 2

Premisa 1: Si el número real x es estrictamente positivo (x > 0), entonces su cuadrado es positivo: x² > 0 (p → q).
Premisa 2: Si el número real x es estrictamente negativo (x < 0), entonces su cuadrado es positivo: x² > 0 (r → q).
Premisa 3: El número real no nulo x es estrictamente positivo o estrictamente negativo (p ∨ r).
Conclusión: Por lo tanto, el cuadrado del número real no nulo x es positivo: x² > 0 (q).

En este análisis algebraico, evaluamos el signo de un número real no nulo mediante una partición disyuntiva. Como ambas condiciones de signo derivan en la misma propiedad para la potencia cuadrada, concluimos con total rigor la positividad del resultado final.