File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
quantificatore
Sign in to saveAlso 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