Loading AI tools
De Wikipedia, la enciclopedia libre
Dilema destructivo[1][2][3] 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:
donde la regla es que dondequiera que aparezcan las instancias de "", "", y "" en una línea de alguna demostración, se puede colocar "" en una línea posterior.
La regla de dilema destructivo puede escribirse en la notación subsiguiente:
donde es un símbolo metalógico que significa que es una consecuencia sintáctica de , , y en algún sistema lógico;
y expresado como una tautología verdad-funcional o teorema de la lógica proposicional:
donde , , y son proposiciones expresadas en algún sistema formal.
Proposición | Derivación |
---|---|
Premisa | |
Premisa | |
Implicación material | |
Transposición | |
Silogismo hipotético | |
Simplificación | |
Silogismo hipotético | |
Implicación material |
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. | (CP de asunción) | |
2. | (1: Simplificación) | |
3. | (2: simplificación) | |
4. | (2: simplificación) | |
5. | (1: simplificación) | |
6. | (RAA de premisa) | |
7. | (6: Leyes de De Morgan) | |
8. | (7: simplificación) | |
9. | (7: simplificación) | |
10. | (8: doble negación) | |
11. | (9: doble negación) | |
12. | (3,10: modus ponens) | |
13. | (4,11: modus ponens) | |
14. | (12: doble negación) | |
15. | (5, 14: silogismo disyuntivo) | |
16. | (13,15: conjunción) | |
17. | (6-16: RAA) | |
18. | (1-17: CP) |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.