x E,   P(x)

On affirme ici que pour un x au moins, "P" est vrai, ou encore que l'ensemble des x pour lesquels "P" est vrai n'est pas vide.
Le contraire est évidemment que l'ensemble des x pour lesquels "P" est vrai est vide ou encore que "(non P)" est universelle :