Advertisement
Advertisement
existential quantifier
noun
, 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.
existential quantifier
noun
- 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."
Discover More
Word History and Origins
Origin of existential quantifier1
First recorded in 1935–40
Advertisement
Word of the Day
[pet-ri-kawr]
Meaning and examplesStart each day with the Word of the Day in your inbox!
By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.
Advertisement
Advertisement
Advertisement
Browse