Terme
Prédicat
- Nom
- prédicat, prédicats
- Termes plus larges
- variable, ensemble
- Contexte
- Assertion
Définition
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
Module : Prédicats