Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:27269035n
Noun Concept
Categories: Logic symbols, Quantifier (logic)
EN
existential quantification  \exists  exist  existential  existential proposition
EN
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". Wikipedia
Definitions
Relations
Sources
EN
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". Wikipedia
Logical quantification stating that a statement holds for at least one object Wikidata
IS A
quantifier
PART OF
quantifier
HAS KIND
uniqueness quantification
HAS PARTS OF THE CLASS
uniqueness quantification
NOTATION
∃
OPPOSITE OF
universal quantification
Wikipedia
EN
existential quantification
Wikidata
EN
existential quantification
Wikipedia Redirections
EN
\exists, exist (logic), existential proposition, existentially quantified, For some, mathematical existence, Something (logic), there exist, there exists, There is a unique, ∃, ∃E, ∃I, ∄
Wikidata Alias
EN
exist, existential, existential quantifier, exists, for one or more, for some, there exists, there exists at least one, there exists one or more, ∃

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License