El cuantificador existencial indica que algo es cierto para algunos individuos (∃x)P(x) ó ExP(x) y se lee “existe un x tal que P“.[9]

Se interpreta como:

Las formas de uso son las siguientes: 

(∃x) ( P(x) ˄ Q(x) )
Para algunas x, x son P y Q

(∃x) ( ¬P(x) ˄ ¬Q(x) )
Para algunas x, x no son P y Q

(∃x) P(x)
Algunas x son P (o hay P)

(∀x) (∃y) P(x,y)
Para todas las x, hay una y tal que P

(∃x) ¬P(x)
Algunas x no son P

¬(∃x) P(x)
Ninguna x es P