- jederezh ar predikadoù g. calcul des prédicats
-
mathématiques , informatique ◊ mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variablesanglais : predicate calculus
- jederezh ar predikadoù kentañ urzh g. calcul des prédicats du premier ordre
-
mathématiques , informatiqueanglais : first-order predicate calculus