Prédicats

Définition Prédicat dépendant de variables

C’est un énoncé \(A(x,y,\ldots)\) dépendant de variables \(x,y,\ldots\) tel que, lorsqu’on substitue à ces variables des éléments de certains ensembles, on obtient une assertion.

Exemple résolu Prédicats à une et deux variables réservé aux comptes