« Calcul des prédicats » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:Accenture == Définition == ... == Français == ... ==... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 18 septembre 2019 à 16:20
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