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.

Français

Logique du premier ordre loc. nom. fém.

logique des prédicats loc. nom. fém.

calcul des prédicats du premier ordre masculin

Anglais

First-order logic

Predicate logic

Termium

Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,

Source : Wikipedia

Source : 24pm Academy