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:

P Q , R S , ¬ Q ¬ S ¬ P ¬ R {\displaystyle {\frac {P\to Q,R\to S,\neg Q\lor \neg S}{\therefore \neg P\lor \neg R}}}

où la règle est que chaque fois que les instances de «  P Q {\displaystyle P\to Q}  », «  R S {\displaystyle R\to S}  », et «  ¬ Q ¬ S {\displaystyle \neg Q\lor \neg S}  » apparaissent sur les lignes d'une démonstration, « ¬ P ¬ R {\displaystyle \neg P\lor \neg R}  » peut être placé sur une ligne subséquente.

Notation formelle

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

( P Q ) , ( R S ) , ( ¬ Q ¬ S ) ( ¬ P ¬ R ) {\displaystyle (P\to Q),(R\to S),(\neg Q\lor \neg S)\vdash (\neg P\lor \neg R)}

où  {\displaystyle \vdash }  est un symbole métalogique qui signifie que  ¬ P ¬ R {\displaystyle \neg P\lor \neg R}  est une conséquence syntaxique de  P Q {\displaystyle P\to Q} , R S {\displaystyle R\to S} , et  ¬ Q ¬ S {\displaystyle \neg Q\lor \neg S}  dans un système logique;

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

( ( ( P Q ) ( R S ) ) ( ¬ Q ¬ S ) ) ( ¬ P ¬ R ) {\displaystyle (((P\to Q)\land (R\to S))\land (\neg Q\lor \neg S))\to (\neg P\lor \neg R)}

où  P {\displaystyle P} , Q {\displaystyle Q} , R {\displaystyle R}  et  S {\displaystyle S}  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
( A B ) ( C D ) {\displaystyle (A\rightarrow B)\land (C\rightarrow D)} Donnée
¬ B ¬ D {\displaystyle \neg B\lor \neg D} Donnée
B ¬ D {\displaystyle B\rightarrow \neg D} Implication
¬ D ¬ C {\displaystyle \neg D\rightarrow \neg C} Transposition
B ¬ C {\displaystyle B\rightarrow \neg C} Syllogisme hypothétique
A B {\displaystyle A\rightarrow B} Simplification
A ¬ C {\displaystyle A\rightarrow \neg C} Syllogisme hypothétique
¬ A ¬ C {\displaystyle \neg A\lor \neg C} 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. ( ( P Q ) & ( R S ) ) & ( ¬ Q ¬ S ) {\displaystyle ((P\rightarrow Q)\And (R\rightarrow S))\And (\neg Q\vee \neg S)} (DI)
2. ( P Q ) & ( R S ) {\displaystyle (P\rightarrow Q)\And (R\rightarrow S)} (1: Simplification)
3. ( P Q ) {\displaystyle (P\rightarrow Q)} (2: simplification)
4. ( R S ) {\displaystyle (R\rightarrow S)} (2: simplification)
5. ( ¬ Q ¬ S ) {\displaystyle (\neg Q\vee \neg S)} (1: simplification)
6. ¬ ( ¬ P ¬ R ) {\displaystyle \neg (\neg P\vee \neg R)} (RAA)
7. ¬ ¬ P & ¬ ¬ R {\displaystyle \neg \neg P\And \neg \neg R} (6: Lois de De Morgan)
8. ¬ ¬ P {\displaystyle \neg \neg P} (7: simplification)
9. ¬ ¬ R {\displaystyle \neg \neg R} (7: simplification)
10. P {\displaystyle P} (8: double négation)
11. R {\displaystyle R} (9: double négation)
12. Q {\displaystyle Q} (3,10: modus ponens)
13. S {\displaystyle S} (4,11: modus ponens)
14. ¬ ¬ Q {\displaystyle \neg \neg Q} (12: double négation)
15. ¬ S {\displaystyle \neg S} (5, 14: syllogisme disjonctif)
16. S & ¬ S {\displaystyle S\And \neg S} (13,15: conjonction)
17. ¬ P ¬ R {\displaystyle \neg P\vee \neg R} (6-16: RAA)
18. ( ( ( P Q ) & ( R S ) ) & ( ¬ Q ¬ S ) ) ) ¬ P ¬ R {\displaystyle (((P\rightarrow Q)\And (R\rightarrow S))\And (\neg Q\vee \neg S)))\rightarrow \neg P\vee \neg R} (1-17: DI)

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Destructive dilemma » (voir la liste des auteurs).
  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

  • (en) « Destructive Dilemma -- from Wolfram MathWorld », sur wolfram.com (consulté le )
v · m
Logique mathématique
Calcul des propositions
Règles d'inférence
  • Modus ponens / Modus tollens
  • Élimination / introduction de la conjonction
  • Élimination / introduction de la disjonction
  • Syllogisme hypothétique / disjonctif
  • Dilemme constructif / destructif
  • Absorption
  • Modus ponendo tollens
Règles de remplacement
Calcul des prédicats
  • icône décorative Portail de la logique