Mode sombre
Il est
?Hr, et le mode nuit est donc actif
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
Paramètres de langue du site
Si vous préférez continuer sur le site en français, cliquez sur "Annuler". Si vous annulez, ce message n'apparaîtra plus durant la session.
You are on the French version of the site, but your system indicates that you prefer to use the English language.
The entire site is not translated yet, but the menus and buttons on the interface are largely translated.
Would you like to reach the page in English?
Click here to continue in English:
Consult the English version of this pageU bevindt zich op de Franse versie van de site, maar uw systeem geeft aan dat u liever de Nederlandse taal gebruikt.
De hele site is nog niet vertaald, maar de menu's en knoppen op de interface zijn grotendeels vertaald.
Wilt u de pagina in het Nederlands bereiken?
Klik hier om door te gaan in het Nederlands:
Raadpleeg de Nederlandse versie van deze paginaSie befinden sich in der französischen Version der Website, Ihr System gibt jedoch an, dass Sie die deutsche Sprache bevorzugen.
Die gesamte Site ist noch nicht übersetzt, aber die Menüs und Schaltflächen auf der Benutzeroberfläche sind weitgehend übersetzt.
Möchten Sie die Seite auf Deutsch erreichen?
Klicken Sie hier, um fortzufahren:
Konsultieren Sie die deutsche Version dieser SeiteVersion en cache
15/05/2025 01:44:08 Cette version de la page est en cache (à la date du 15/05/2025 01:44:08) 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 13/05/2025
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.
