No cache version.
Caching disabled. Default setting for this page:enabled (code LNG204)If the display is too slow, you can disable the user mode to view the cached version.
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
English translation
You have asked to visit this site in English. For now, only the interface is translated, but not all the content yet.If you want to help me in translations, your contribution is welcome. All you need to do is register on the site, and send me a message asking me to add you to the group of translators, which will give you the opportunity to translate the pages you want. A link at the bottom of each translated page indicates that you are the translator, and has a link to your profile.
Thank you in advance.
Document created the 19/03/2002, last modified the 03/02/2021
Source of the printed document:https://www.gaudry.be/en/glossaire/logique-du-premier-ordre
The infobrol is a personal site whose content is my sole responsibility. The text is available under CreativeCommons license (BY-NC-SA). More info on the terms of use and the author.
