Accueil🇫🇷Chercher

Dilemme destructif

Un dilemme destructif[1] - [2] est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit Q est faux soit S est faux, alors, soit P ou R est faux. En somme, si deux implications sont vraies, mais qu'un de leurs conséquents est faux, alors un de leurs antécédents est faux. Le dilemme destructif est la version disjonctive du modus tollens, alors que, la version disjonctive du modus ponens est le dilemme constructif. La règle peut être déclarée comme suit:

où la règle est que chaque fois que les instances de «  Â», «  Â», et «  Â» apparaissent sur les lignes d'une démonstration, « Â» peut être placé sur une ligne subséquente.

Notation formelle

La règle du dilemme destructif peut être écrite en notation séquente:

où  est un symbole métalogique qui signifie que  est une conséquence syntaxique de , , et  dans un système logique;

et exprimée en tautologie ou en théorème de la logique propositionnelle:

où , ,  et  sont des propositions exprimées dans un système formel.

Exemple

S'il pleut, nous allons rester à l'intérieur.
Si c'est ensoleillé, nous allons faire une promenade.
Soit nous ne serons pas restés à l'intérieur, soit nous ne serons pas allés faire une promenade, soit les deux.
Par conséquent, soit il ne pleuvra pas, soit il ne fera pas beau, soit les deux.

Démonstration

Proposition Dérivation
Donnée
Donnée
Implication
Transposition
Syllogisme hypothétique
Simplification
Syllogisme hypothétique
Implication

Exemple de démonstration

La validité de cette structure d'argument peut être démontré en utilisant à la fois la démonstration implicationnelle (DI) et le reductio ad absurdum (RAA) de la manière suivante:

1. (DI)
2. (1: Simplification)
3. (2: simplification)
4. (2: simplification)
5. (1: simplification)
6. (RAA)
7. (6: Lois de De Morgan)
8. (7: simplification)
9. (7: simplification)
10. (8: double négation)
11. (9: double négation)
12. (3,10: modus ponens)
13. (4,11: modus ponens)
14. (12: double négation)
15. (5, 14: syllogisme disjonctif)
16. (13,15: conjonction)
17. (6-16: RAA)
18. (1-17: DI)

Références

  1. Hurley, Patrick. A Concise Introduction to Logic With Ilrn Printed Access Card. Wadsworth Pub Co, 2008. Page 361
  2. Moore et Parker

Bibliographie

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

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.