Quantificatore

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche:

• ∃ (esiste almeno un)
• ∀ (per ogni)

il nome "quantificatori" è legato al fatto che danno un'informazione su quanto è grande l'estensione in cui è valido un predicato.

A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il quantificatore unico ${\displaystyle \exists !}$ (si legge: "esiste ed è unico", che equivale a dire "è uno e uno solo").