Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

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 faux

logique ◊ prédicat qui possède deux arguments

logique ◊ prédicat n'ayant qu'un seul argument