Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07240.jsonl.gz/255

En logique mathématique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où il n'y a que des prédicats unaires.
Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal relèvent de cette logique partielle.Définition formelle
La logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où les formules atomiques sont de la forme P(x), où P un symbole de prédicat unaire et x est une variable.On peut y exprimer moult théories et aussi des syllogismes comme :Tous les chiens sont des mammifèresetAucun oiseau n'est un mammifèreDoncAucun chien n'est un oiseau.Raisonnement qui se formalise par : [\forall x,(estChien(x)\Rightarrow estMammifere(x))\land \neg\exists y,(estMammifere(y)\land estOiseau(y))] \rightarrow \neg\exists z,(estChien(z)\land estOiseau(z))qui se lit("pour tout x, si x est un chien alors x est un m
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.