Dilema destructivo

El dilema destructivo es una regla de inferencia dentro de la lógica proposicional que establece que, dadas dos proposiciones condicionales y la negación disyuntiva de sus consecuentes, se concluye de forma necesaria y válida la negación disyuntiva de sus antecedentes.

Desde una perspectiva lógica, este principio constituye una extensión de la regla del modus tollens. Si sabemos que al menos uno de los dos efectos derivados no ha ocurrido, podemos garantizar con total certeza que la causa o condición previa asociada tampoco tuvo lugar.

En el lenguaje formal del cálculo proposicional, la estructura del dilema destructivo complejo se representa horizontalmente mediante el siguiente condicional asociado:

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

Cuando estructuramos una deducción en formato vertical estándar, disponemos las tres premisas iniciales antes de trazar la línea de inferencia:

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

El sustento semántico de esta regla descansa en la imposibilidad de sostener ambos antecedentes cuando se descartan sus consecuencias. La premisa ¬q ∨ ¬s asegura que al menos uno de los consecuentes es falso, lo que fuerza, por la propia definición del condicional, a que el antecedente respectivo sea también falso.

Conviene distinguir este esquema del dilema constructivo, ya que representan caminos deductivos complementarios. Mientras que el dilema constructivo se apoya en el modus ponens al afirmar antecedentes para obtener consecuentes, el dilema destructivo recurre a la refutación propia del modus tollens para negar antecedentes a partir de consecuentes no cumplidos.

Ejemplos

Para analizar el funcionamiento de la ley del dilema destructivo en diversas áreas del razonamiento, revisaremos cinco situaciones que van desde el contexto cotidiano hasta propiedades analíticas y aritméticas.

Ejemplo 1

Premisa 1: Si la alarma suena a tiempo, el estudiante llega puntual a su examen (p → q).
Premisa 2: Si el autobús pasa por la parada habitual, el estudiante evita caminar bajo la lluvia (r → s).
Premisa 3: El estudiante no llegó puntual a su examen o no evitó caminar bajo la lluvia (¬q ∨ ¬s).
Conclusión: Por lo tanto, la alarma no sonó a tiempo o el autobús no pasó por la parada habitual (¬p ∨ ¬r).

En este primer escenario, planteamos dos hipótesis causales sobre la rutina del estudiante. Al confirmar que al menos uno de los dos resultados esperados no se produjo, inferimos válidamente que al menos una de las dos condiciones previas falló en ejecutarse.

Ejemplo 2

Premisa 1: Si el candidato cumple con los años de experiencia requeridos, accede a la entrevista técnica (p → q).
Premisa 2: Si el candidato presenta su certificación profesional vigente, obtiene la exención de la prueba práctica (r → s).
Premisa 3: El candidato no accedió a la entrevista técnica o no obtuvo la exención de la prueba práctica (¬q ∨ ¬s).
Conclusión: Por lo tanto, el candidato no cumple con los años de experiencia requeridos o no presentó su certificación profesional vigente (¬p ∨ ¬r).

Aquí analizamos dos requisitos laborales independientes. Como se constata que no se alcanzó al menos uno de los dos beneficios del proceso de selección, se deduce con necesidad lógica que el postulante carece de al menos uno de los dos requisitos asociados.

Ejemplo 3

Premisa 1: Si la temperatura de la muestra desciende por debajo de 0 °C, el agua contenida se congela (p → q).
Premisa 2: Si la presión atmosférica disminuye de forma drástica, el líquido entra en ebullición a menor temperatura (r → s).
Premisa 3: El agua no se congeló o el líquido no entró en ebullición a menor temperatura (¬q ∨ ¬s).
Conclusión: Por lo tanto, la temperatura no descendió por debajo de 0 °C o la presión atmosférica no disminuyó de forma drástica (¬p ∨ ¬r).

En este contexto físico y experimental, los efectos térmicos observados dependen de condiciones iniciales bien determinadas. Al constatar la ausencia de al menos uno de los dos fenómenos físicos en el laboratorio, concluimos que la condición ambiental correspondiente no llegó a presentarse.

Ejemplo 4

Premisa 1: Si un cuadrilátero es un rombo, sus diagonales son perpendiculares entre sí (p → q).
Premisa 2: Si un cuadrilátero es un rectángulo, sus diagonales tienen exactamente la misma longitud (r → s).
Premisa 3: Las diagonales no son perpendiculares entre sí o las diagonales no tienen la misma longitud (¬q ∨ ¬s).
Conclusión: Por lo tanto, el cuadrilátero no es un rombo o el cuadrilátero no es un rectángulo (¬p ∨ ¬r).

En este caso de la geometría euclidiana, asociamos dos figuras geométricas con propiedades intrínsecas de sus diagonales. Al verificar que al menos una de estas características métricas no se cumple en la figura evaluada, garantizamos que dicha figura no clasifica como rombo o no clasifica como rectángulo.

Ejemplo 5

Premisa 1: Si un número entero n es divisible por 6, entonces n es un número par (p → q).
Premisa 2: Si un número entero n termina en la cifra 5, entonces n es divisible por 5 (r → s).
Premisa 3: El número n no es par o el número n no es divisible por 5 (¬q ∨ ¬s).
Conclusión: Por lo tanto, el número n no es divisible por 6 o no termina en la cifra 5 (¬p ∨ ¬r).

Dentro de la teoría de números, relacionamos hipótesis aritméticas con sus consecuencias lógicas directas. Si mediante una comprobación básica descartamos al menos una de las dos propiedades de divisibilidad, la regla nos permite asegurar la falsedad de al menos una de las premisas estructurales del número n.

Demostración formal

Para comprobar la validez deductiva del dilema destructivo sin recurrir a desarrollos extensos, podemos construir una demostración sintáctica paso a paso empleando las reglas fundamentales de inferencia.

Nuestro objetivo consiste en derivar formalmente la conclusión ¬p ∨ ¬r a partir del siguiente conjunto de premisas iniciales:

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

Para procesar la disyunción de la premisa 3, recurrimos al método de demostración por casos. Analizamos de forma independiente las consecuencias lógicas que se desprenden al asumir cada una de las dos alternativas disyuntivas.

En el primer caso, suponemos como hipótesis temporal que se cumple la negación del primer consecuente:

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

En el segundo caso, suponemos ahora que la proposición verdadera dentro de la disyunción es la negación del segundo consecuente:

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

Como ambos supuestos conducen con absoluta necesidad a la misma fórmula ¬p ∨ ¬r, aplicamos la regla de eliminación de la disyunción sobre la premisa 3 para cerrar la prueba:

10. ¬p ∨ ¬r (Eliminación de la disyunción entre 3, 4–6 y 7–9)

El argumento queda demostrado con total rigor lógico formal, confirmando que la conclusión se deriva necesariamente de la estructura de las premisas.

También es posible verificar la validez semántica mediante una tabla de verdad para el condicional [(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] → (¬p ∨ ¬r). Al contener cuatro variables proposicionales (p, q, r y s), dicho análisis requeriría evaluar 2⁴ = 16 filas para constatar que todas las asignaciones de valores de verdad resultan en una tautología.

Dilema destructivo simple

El dilema destructivo simple es una variante específica de esta ley lógica en la cual un único antecedente se vincula condicionalmente con dos consecuencias distintas.

En este esquema formal, si disponemos de dos implicaciones que parten de la misma hipótesis y negamos disyuntivamente sus consecuentes, se concluye directamente la negación de dicho antecedente.

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

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

Cuando estructuramos la deducción formal en disposición vertical, organizamos las tres premisas antes de trazar la línea de inferencia:

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

El fundamento algebraico de esta simplificación radica en la ley de idempotencia de la disyunción. Al aplicar el esquema estándar del dilema destructivo, obtenemos como resultado intermedio la expresión ¬p ∨ ¬p, la cual se reduce de forma directa a ¬p debido a la equivalencia ¬p ∨ ¬p ≡ ¬p.

Basta entonces con constatar que al menos una de las dos consecuencias derivadas no se cumplió en los hechos para descartar por completo la validez de la causa inicial que las producía.

Ejemplo

Premisa 1: Si la página web está correctamente alojada en el servidor, carga el contenido principal en el navegador (p → q).
Premisa 2: Si la página web está correctamente alojada en el servidor, responde sin emitir errores de conexión (p → s).
Premisa 3: La página web no carga el contenido principal en el navegador o emite un error de conexión (¬q ∨ ¬s).
Conclusión: Por lo tanto, la página web no está correctamente alojada en el servidor (¬p).

En este caso práctico del entorno tecnológico, una misma condición de infraestructura garantiza dos comportamientos observables de manera simultánea. Al detectar el fallo en al menos una de las dos respuestas esperadas, descartamos de forma concluyente que la configuración del alojamiento web se encuentre en un estado correcto.