Eksistenskvantor

Eksistenskvantor er en logisk kvantor. Formlen

$\exists{x}\, P \quad$

læses: Der findes mindst én x, for hvilken det gælder at P.