Définition de «logique du premier ordre»

Table des matières
logique du premier ordre
La logique du premier ordre (aussi nommée calcul des prédicats du premier ordre) permet d'énoncer en langage mathématique certains énoncés pour lesquels le langage usuel ne serait pas assez précis.Un certain nombre de variables et de symboles représentant des fonctions, deux quantificateurs (Pour tout... et Il existe ...), et des connecteurs logiques permettent de définir précisément dans quels cas telle situation esr vraie ou fausse. Ceci s'avère très pratique par exemple lors de preuves dans le développement de programmes informatiques.

Catégories

Version en cache

Cette version de la page est en cache (à la date du 07/01/2026 07:35:08 - Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)) afin d'accélérer le traitement.
Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la version plus récente de la page.

Document créé le 19/03/2002, dernière modification le 17/11/2025 c20260107-073508
Source du document imprimé : https://www.gaudry.be/glossaire/logique-du-premier-ordre

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.