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."

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]
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
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.
For example, for the universal and existential quantifiers, we can see the boolean circuits creation that they will be replaced by a binary tree balanced (by means of the use of the algorithms and-tree and or-tree).
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.
Hintikka adds a proviso that 'moves connected with existential quantifiers are always independent of earlier moves with existential quantifiers' (p.
The theme of this book is that many of the fundamental notions of logic, including the connectives of propositional logic, the universal and existential quantifiers and various modalities, are definable in terms of implication.