« Calcul des prédicats » : différence entre les versions

Version du 24 mars 2021 à 20:02

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

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

predicate calculus

first-order predicate calculus

first-order logic

Source : Le grand dictionnaire terminologique

@@ Ligne 2 : / Ligne 2 : @@
 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]]'''
+Terme lié :  '''[[Logique du premier ordre]]'''
 == Français ==