Existential Operator
nounverified·updated May 18, 2026
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Framework senses
- §1
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true