Logique du premier ordre
Définition
La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.
aussi Calcul des prédicats
Compléments
La logique de premier ordre étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).
Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).
Français
Logique du premier ordre
Logique des prédicats
Calcul des prédicats du premier ordre
Anglais
First-order logic
Predicate logic
Sources
Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,
Contributeurs: Claude Coulombe, Imane Meziani, Pierre Labreche, wiki
