Calcul des prédicats
en construction
Définition
...
Français
...
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.
Contributeurs: Isaline Hodecent, wiki
