suivant : 1.1.5 Négation d'un prédicat remonter : 1.1.4 Introduction au calcul précédent : 1.1.4.1 Quantificateur universel

1.1.4.2 Quantificateur existentiel $\exists$

$\exists$ se lit ''il existe''. Le prédicat $\exists x, P$ se lit ''il existe $x$ tel que la propriété $P$ est vraie''. Par exemple, le prédicat $\exists n \in R, n > 0$ est vrai. En effet, il suffit de prendre $n = 1$ et on a bien $n > 0$.