- 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.
- Larry Gossett (Wikipedia)
Lawrence Edward Gossett (born February 21, 1945) is an American politician and activist who served as a member of the nonpartisan King County Council, representing District 10 from 1994 to 2006 and District 2 from 2006 to 2020. Gossett served as chair of the Council in 2007 and 2013.
