Prédicat
Concept history
A revision trail for this concept page.
Revision 4770
9/13/2026, 10:28:29 AM · quark67
Amélioration de la typographie et affichage du nombre d'Euler en caractère droit, suivant la norme ISO 80000-2
Compare with revision 46756 changed lines
1
### Définition2
Un prédicat est un énoncé dépendant éventuellement d'une ou plusieurs variables.3
Lorsqu'on attribue une valeur à chacune de ses variables, il devient une proposition,4
c'est-à-dire un énoncé qui est soit vrai, soit faux.5
6
### Exemples7
$\bullet$ $3\le 4$ est une proposition (ou un prédicat sans variable).7
$\bullet$ $3\leqslant 4$ est une proposition (ou un prédicat sans variable).8
$\bullet$ $x \le 1$ est un prédicat dépendant de la variable $x$.8
$\bullet$ $x \leqslant 1$ est un prédicat dépendant de la variable $x$.9
$\bullet$ $x \le e^{y+z}$ est un prédicat dépendant des variables $x$, $y$ et $z$.9
$\bullet$ $x \leqslant \mathrm{e}^{y+z}$ est un prédicat dépendant des variables $x$, $y$ et $z$.10
$\bullet$ $\sum_{k=1}^{5} k = 15$ est une proposition (ou un prédicat sans variable).11
En effet, la variable $k$ est une **variable muette** : elle sert uniquement à définir12
la sommation et ne peut être utilisée en dehors de celle-ci.Revision 4675
9/12/2026, 4:34:13 PM · SalixBabylonica
Concept created
### Définition
Un prédicat est un énoncé dépendant éventuellement d'une ou plusieurs variables.
Lorsqu'on attribue une valeur à chacune de ses variables, il devient une proposition,
c'est-à-dire un énoncé qui est soit vrai, soit faux.
### Exemples
$\bullet$ $3\le 4$ est une proposition (ou un prédicat sans variable).
$\bullet$ $x \le 1$ est un prédicat dépendant de la variable $x$.
$\bullet$ $x \le e^{y+z}$ est un prédicat dépendant des variables $x$, $y$ et $z$.
$\bullet$ $\sum_{k=1}^{5} k = 15$ est une proposition (ou un prédicat sans variable).
En effet, la variable $k$ est une **variable muette** : elle sert uniquement à définir
la sommation et ne peut être utilisée en dehors de celle-ci.