existential quantifier

(redirected from Existential quantification)
Also found in: Thesaurus, Encyclopedia, Wikipedia.

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 ?
The Role of Existential Quantification in Scientific Realism, SUKI FINN
First, let us consider, conjunction, disjunction, existential quantification, and universais.
Assuredly, Morscher explicitly acknowledges that Bolzano has ways to deal with conjunction, disjunction, conditionality, negation, existential quantification and relational predicates that are consistent with the idea that all propositions have the form 'A has b'.