Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Élimination de la disjonction
Résumé
En logique propositionnelle, lélimination de la disjonction (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.
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.