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
Wikidata facts
- Subclass of
- logical operator
- Has part
- universal quantification
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
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