Concept information
Preferred term
calcul des prédicats
Definition(s)
-
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)
Broader concept(s)
Synonym(s)
- calcul des prédicats du premier ordre
- calcul des relations
- logique du premier ordre
- logique quantificationnelle
In other languages
-
English
-
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}}