Dilema Destructivo, ley del

Dilema Destructivo, ley del (DD)  Si tenemos dos fórmulas [v. fórmulas bien formadas] u oraciones condicionales, y en otra premisa los consecuentes [v] negados de ambos condicionales en una disyunción, podemos negar ambos antecedentes en una disyunción también.

1) p --> q             1) (p --> q) & (s --> r)            

2) s --> r             2) -q v - r

3) -q v -r             \\ -p v -s

\\ -p v -s

El dilema destructivo es una derivación del Modus Tollendo Tollens.