Concept information
Terme préférentiel
calcul des prédicats
Définition
-
En logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, 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 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 complexes,
- la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats)
Concept générique
Synonyme(s)
- calcul des prédicats du premier ordre
- calcul des relations
- logique du premier ordre
- logique quantificationnelle
Traductions
-
anglais
-
first-order logic
-
predicate logic
-
quantificational logic
URI
http://data.loterre.fr/ark:/67375/PSR-H95KN8C6-Z
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}