Définitions

Un 'prédicat' est une fonction d'un nombre quelconque de variables et à valeur logique (VRAI ou FAUX).
Un tel prédicat correspond parfaitement à la notion d' opérateur.
On retrouvera donc la même terminologie notamment pour ce qui concerne le nombre de variables appelé 'arité'.
Les prédicats à une variable sont dits 'unaires', à deux variables 'binaires', etc.
Les variables s'appellent quelquefois les 'arguments' ou 'places'.
Les prédicats servent à écrire de façon symbolique les propriétés des objets.
On utilise la plupart du temps la notation préfixée.
Ainsi la phrase :
"Jean est un homme" s'écrira de façon symbolique: Homme(Jean)
x>y pourra se noter Plus_Grand_Que(x,y)
d est la pgcd de a et b : "PGCD(a,b,d)"
Les arguments des prédicats peuvent être des constantes ou des variables.
Notons que TOUTE fonction peut être exprimée au moyen d'un prédicat:
Si f est une fonction numérique y=f(x) correspond à F(x,y)=V où F : ℝ×ℝ → {V,F}

Café Python

Voici quelques exemples de prédicats avec des arités différentes.