- 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”. It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or “∃(x)” or “(∃x)”). Existential quantification is distinct from universal quantification (“for all”), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
- Meadowbrook, Seattle (Wikipedia)
Meadowbrook is a neighborhood in the Lake City district (township annexed in 1954) of Seattle, Washington. Meadowbrook is centered on open fields adjacent to the Community Center, Meadowbrook swimming pool, and Nathan Hale High School. It is bounded on the south by NE 95th Street and the Wedgwood neighborhood, on the north by NE 120th Street and Cedar Park, on the west by Lake City Way NE (State Route 522) and Victory Heights, and on the east by 35th Avenue NE and Matthews Beach.
