Ontology Browser
›
logic
› Universal quantifier
Universal quantifier
Layer 0 — Mathematics
in the
logic
subtree
Asserts a predicate holds for every element of a domain of discourse.
Related concepts
Every natural number has a successor
Axiom of extensionality
Quantifier-negation rules (De Morgan for quantifiers)
Limit of a sequence
Modal logic
Second-order logic
Infinitary logic
Gödel's completeness theorem
Explore Universal quantifier on the interactive knowledge graph →