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