existential quantifier

(redirected from existential quantifiers)
Also found in: Thesaurus, Encyclopedia.
Related to existential quantifiers: universal quantifier

existential quantifier

n
(Logic) logic a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs."
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

ex′isten′tial quan′tifier


n.
Logic.
a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier.
[1935–40]
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.existential quantifier - a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
logical quantifier, quantifier - (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Translations
quantificateur existentiel
References in periodicals archive ?
This paper examines a post-Quinean version of ontological pluralism which posits multiple existential quantifiers that carve nature at its joints, and then examines five arguments against that view.
These formulas extend propositional formulas by allowing both universal and existential quantifiers over propositional variables, and are useful for modeling problems in artificial intelligence and computer science.
Queries that have twisted universal and existential quantifiers can be stunning for students, practitioners, or even instructors.
Similarly use existential quantifiers to eliminate z-variables from L(SC)-atomic formulas.
Although it is a statement that there are at least two objects, (Two) is composed only of standard logical terminology: negation, identity, and first-order existential quantifiers. Since (Two) is a logical consequence of 0 [not equal to] 0, then according to our logicist (Two) is itself analytic and logically true, provided that analyticity and logical truth are closed under logical consequence, or at least the introduction rule for the first-order existential quantifier.