Ontology Browser
›
logic
› Existential quantifier
Existential quantifier
Layer 0 — Mathematics
in the
logic
subtree
Asserts a predicate holds for at least one element of a domain.
Related concepts
Axiom of empty set
Quantifier-negation rules (De Morgan for quantifiers)
Limit of a sequence
Gödel's completeness theorem
Explore Existential quantifier on the interactive knowledge graph →