- prédicat predikad g. -où
-
logique ◊ fonction mettant en œuvre un ou plusieurs arguments, utilisée pour déclarer quelque chose concernant des objets, et dont le résultat est vrai ou fauxanglais : predicate
- prédicat binaire predikad binarel g.
-
logique ◊ prédicat qui possède deux argumentsanglais : binary predicate
- prédicat unaire predikad unarel g.
-
logique ◊ prédicat n'ayant qu'un seul argumentanglais : unary predicate