Calcul des prédicats

Définition

du premier ordre

Anglais

Predicate Calculus

is a formal system of logic in which quantified variables can be used in logic statements. For example, 'all unicorns are beautiful' can be expressed in first-order, or predicate logic, as 'for all X, such that X is unicorn, X is beautiful'. Another type of quantifier could be 'Accenture is a company'. Such statements could not be expressed in prepositional (Boolean) logic.

Source : Accenture - applied intelligence glossary