Calcul des prédicats

Définition

Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.

aussi Logique du premier ordre

Français

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

Anglais

predicate calculus

first-order predicate calculus

first-order logic

Source : Le grand dictionnaire terminologique

Source : Wikipédia (Calcul des prédicats)

Source : Wikipédia (First-order logic)

Source : Accenture - applied intelligence glossary