Logique du premier ordre

En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle[réf. nécessaire], ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege comme une formalisation du langage des mathématiques entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties :la syntaxe définit le vocabulaire symbolique de base ainsi que les règles permettant de construire des énoncés ; la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle.

Texte : extrait de l'article Wikipédia « Calcul des prédicats », sous licence CC BY-SA 4.0.