Élimination de la disjonction
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b2/Circle-icons-recycle.svg/45px-Circle-icons-recycle.svg.png)
Cet article concernant les mathématiques doit être recyclé ().
Une réorganisation et une clarification du contenu paraissent nécessaires. Améliorez-le, discutez des points à améliorer ou précisez les sections à recycler en utilisant {{section à recycler}}.
En logique propositionnelle, l'élimination de la disjonction[1],[2] (parfois nommée preuve par cas, ou l'élimination du ou), est la forme d'argument valide et règle d'inférence qui permet d'éliminer une déclaration disjonctive d'une démonstration logique. Elle est l'inférence selon laquelle si une déclaration implique une déclaration , qu'une déclaration implique aussi , et que ou est vrai, alors est vrai. Par exemple:
- Si je suis à l'intérieur, j'ai mon portefeuille sur moi.
- Si je suis à l'extérieur, j'ai mon portefeuille sur moi
- Ceci est vrai que ce soit à l'intérieur ou à l'extérieur.
- Par conséquent, j'ai mon portefeuille sur moi.
Cette règle peut être énoncée comme suit:
où la règle est que chaque fois que les instances de « », et « » et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur la ligne de conclusion.
Notation formelle
La règle de l'élimination de la disjonction peut être écrite en notation séquent:
où est un symbole métalogique qui signifie que est une conséquence syntaxique de , et et dans un système logique;
et exprimée en tautologies ou en théorèmes de la logique propositionnelle :
où , , et sont des propositions exprimées dans un système formel.
Voir aussi
- Disjonction
- Forme normale disjonctive
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Disjunction elimination » (voir la liste des auteurs).
v · m Logique mathématique | |||||
---|---|---|---|---|---|
Calcul des propositions |
| ||||
Calcul des prédicats |
|
Portail de la logique