Dilema destructivo

Reglas de transformación
Lógica proposicional
Reglas de inferencia
Modus tollendo tollens / ponens Modus ponendo ponens / tollens Introducción del bicondicional / eliminación Introducción de la conjunción / eliminación Introducción de la disyunción / eliminación Silogismo disyuntivo / hipotético Dilema constructivo / destructivo Absorción
Reglas de reemplazo
Asociatividad Conmutatividad Distributividad Doble negación Leyes de De Morgan Transposición Implicación material Exportación Tautología Introducción de la negación
Lógica predicativa
Generalización / instanciación universal Generalización / instanciación existencial
Lógica modal

Dilema destructivo​​​ es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S; y, o bien Q es falsa o S es falsa; entonces necesariamente o P es falsa; o R es falsa. En suma, si dos condicionales son verdaderos, pero uno de sus consecuentes es falso, entonces uno de sus antecedentes tiene que ser falso.

El dilema destructivo es la versión disyuntiva del modus tollens, mientras que el dilema constructivo es la versión disyuntiva del modus ponens.

El dilema destructivo puede escribirse formalmente como:

${\frac {(P\to Q)\land (R\to S),\neg Q\lor \neg S}{\therefore \neg P\lor \neg R}}$​

donde la regla es que dondequiera que aparezcan las instancias de "$P\to Q$", "$R\to S$", y "$\neg Q\lor \neg S$" en una línea de alguna demostración, se puede colocar "$\neg P\lor \neg R$" en una línea posterior.

Notación formal

La regla de dilema destructivo puede escribirse en la notación subsiguiente:

$(P\to Q),(R\to S),(\neg Q\lor \neg S)\vdash (\neg P\lor \neg R)$

donde $\vdash$ es un símbolo metalógico que significa que $\neg P\lor \neg R$ es una consecuencia sintáctica de $P\to Q$, $R\to S$, y $\neg Q\lor \neg S$ en algún sistema lógico;

y expresado como una tautología verdad-funcional o teorema de la lógica proposicional:

$(((P\to Q)\land (R\to S))\land (\neg Q\lor \neg S))\to (\neg P\lor \neg R)$

donde $P$, $Q$, $R$ y $S$ son proposiciones expresadas en algún sistema formal.

Ejemplo de lenguaje natural

Si llueve, vamos a permanecer en el interior.

Si está soleado, vamos a ir a dar un paseo.

O bien no vamos a permanecer en el interior, o no vamos a ir a dar un paseo, o ambos.

Por lo tanto, o bien no va a llover o no va a estar soleado, o ambos.

Demostración

Proposición	Derivación
$(A\rightarrow B)\land (C\rightarrow D)$	Premisa
$\neg B\lor \neg D$	Premisa
$B\rightarrow \neg D$	Implicación material
$\neg D\rightarrow \neg C$	Transposición
$B\rightarrow \neg C$	Silogismo hipotético
$A\rightarrow B$	Simplificación
$A\rightarrow \neg C$	Silogismo hipotético
$\neg A\lor \neg C$	Implicación material

Ejemplo de demostración

La validez de esta estructura argumental se puede demostrar utilizando tanto la demostración condicional (CP) con la reductio ad absurdum (RAA) de la siguiente manera:

1.	$((P\rightarrow Q)\And (R\rightarrow S))\And (\neg Q\vee \neg S)$	(CP de asunción)
2.	$(P\rightarrow Q)\And (R\rightarrow S)$	(1: Simplificación)
3.	$(P\rightarrow Q)$	(2: simplificación)
4.	$(R\rightarrow S)$	(2: simplificación)
5.	$(\neg Q\vee \neg S)$	(1: simplificación)
6.	$\neg (\neg P\vee \neg R)$	(RAA de premisa)
7.	$\neg \neg P\And \neg \neg R$	(6: Leyes de De Morgan)
8.	$\neg \neg P$	(7: simplificación)
9.	$\neg \neg R$	(7: simplificación)
10.	$P$	(8: doble negación)
11.	$R$	(9: doble negación)
12.	$Q$	(3,10: modus ponens)
13.	$S$	(4,11: modus ponens)
14.	$\neg \neg Q$	(12: doble negación)
15.	$\neg S$	(5, 14: silogismo disyuntivo)
16.	$S\And \neg S$	(13,15: conjunción)
17.	$\neg P\vee \neg R$	(6-16: RAA)
18.	$(((P\rightarrow Q)\And (R\rightarrow S))\And (\neg Q\vee \neg S)))\rightarrow \neg P\vee \neg R$	(1-17: CP)

Bibliografía

• Howard-Snyder, Frances; Howard-Snyder, Daniel; Wasserman, Ryan. The Power of Logic (4.ª ed.). McGraw-Hill, 2009, ISBN 978-0-07-340737-1, p. 414.

Enlaces externos

• http://mathworld.wolfram.com/DestructiveDilemma.html

• Datos: Q5265416