suivant : 1.1.4.2 Quantificateur existentiel remonter : 1.1.4 Introduction au calcul précédent : 1.1.4 Introduction au calcul

1.1.4.1 Quantificateur universel $\forall$

$\forall$ se lit ''pour tout'', ou bien ''quel que soit''. Le prédicat $\forall x, P$ se lit ''Pour tout $x$, la propriété $P$ est vraie''. Par exemple, $\forall n \in R, n > 0$. Tout prédicat est soit vrai, soti faux. Par exemple, $\forall n \in R, n > 0$ est faux. En effet, il existe des $n$ réels ne vérifiant pas la propriété $n > 0$, par exemple $-1$.