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