In logica matematica, uno dei due quantificatori fondamentali (➔ operatore), insieme con il generalizzatore o quantificatore universale ∀. Il p., o quantificatore esistenziale (simbolo ∃), applicato a un predicato P afferma l’esistenza di almeno un individuo che gode della proprietà P. In simboli: ∃ x P x, che si legge: esiste almeno un x tale che valga Px.