En logique classique, un syllogisme disjonctif (où plus anciennement ponens modus tollendo) est une forme d'argument valide, qui prend la forme d'un syllogisme ayant une déclaration disjonctive dans l'une de ses prémisses.
Soit la brèche est une brèche sécurisée, soit elle sera soumis à une amende.
La brèche n'est pas une brèche de sécurité.
Par conséquent, elle sera soumis à une amende.
En logique propositionnelle, une syllogisme disjonctif (aussi connu sous le nom de l'argument de kneecapper, élimination ou, ou abrégé vE), est une règle d'inférence valide. Si on nous dit qu'au moins l'un des deux états est vrai; et dit aussi que ce n'est pas le premier qui est vrai; nous pouvons en déduire que ce sera le dernier qui sera vrai. Si P ou Q est vrai et P est faux, alors Q est vrai. La raison pour laquelle on l'appelle «syllogisme disjonctif» est qu'il est un syllogisme, un argument en trois étapes, et, parce qu'il contient une disjonction logique. «Soit P ou Q» est une disjonction; P et Q sont appelés les disjoints de la déclaration. La règle permet d'éliminer une disjonction d'une preuve logique. Il est la règle selon laquelle:
où la règle est que chaque fois que les instances de «», et «» apparaissent, la conclusion «» peut être placé sur une ligne subséquente.
Le syllogisme disjonctif est étroitement lié au syllogisme hypothétique, car celui-ci est également type de syllogisme, et aussi le nom d'une règle d'inférence. Il est également liée à la loi de non-contradiction et la loi du tiers exclu, deux des trois lois traditionnelles de la pensée.
La règle du syllogisme disjonctif peut être écrite en notation séquente :
où est un symbole métalogique qui signifie que est une conséquence de , et dans un système logique;
exprimée en une tautologie ou théorème de logique propositionnelle :
où , et sont des propositions exprimées dans un système formel.
Voici un exemple:
Soit je choisis la soupe soit je choisis la salade.
Je ne choisis pas la soupe.
Par conséquent, je choisis la salade.
Voici un autre exemple:
C'est soit bleu soit rouge.
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.
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
En logique classique, un syllogisme hypothétique est une règle d'inférence valide, qui prend la forme d'un syllogisme ayant une implication pour un ou deux de ses prémisses. Si je ne me réveille pas, alors je ne peux pas aller travailler. Si je ne peux pas aller travailler, alors je ne vais pas être payé. Par conséquent, si je ne me réveille pas, alors je ne vais pas être payé. En logique propositionnelle, un syllogisme hypothétique est le nom d'une règle d'inférence valide (souvent abrégé HS et parfois aussi appelé l'argument de la chaîne, la règle de la chaîne, ou le principe de transitivité de l'implication).
Although the Modus Ponens inference is one of the most basic logical rules, decades of conditional reasoning research show that it is often rejected when people consider stored background knowledge about potential disabling conditions. In the present study ...