Définition de «logique du premier ordre»

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

Document créé le 19/03/2002, dernière modification le 03/02/2021
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.