2. Logique des prédicats
Définition (logique des prédicats du premier ordre). La logique des prédicatsdu premier ordre (first-order,predicate logic or sentential logic or statement logic) est une branche de la logique qui traite de variables quantifiées, de sorte que plutôt que des propositions telles que « Socrate est un homme » de la logique des propositions, existent des formules telles que « Il existe x tel que x est Socrate et x est un homme ».
dans la suite de cet article la logique des prédicats (du premier ordre) sera simplement désignée sous le vocable simplifié de logique des prédicats.
Historiquement, il s’agit initialement d’une formalisation du langage et du raisonnement des mathématiques, proposée par G. Frege entre la fin du XIXe siècle...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Logique des prédicats
Conclusion
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
