Quantificatore
Da Wikipedia, l'enciclopedia encyclopedia
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche:
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
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 !} (si legge: "esiste ed è unico", che equivale a dire "è uno e uno solo").