quantificatore
Also known as quantor, logical quantification, logical quantifier, quantification
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
Article · Italiano
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 (si legge: "esiste ed è unico", che equivale a dire "è uno e uno solo").
Abstract from DBpedia / Wikipedia · CC BY-SA