bn:27269035n
Noun Concept
Categories: Quantifier (logic), Logic symbols
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