Dictionary.com

existential quantifier

Save This Word!

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.

QUIZZES

THINK YOU’VE GOT A HANDLE ON THIS US STATE NICKNAME QUIZ?

Did you ever collect all those state quarters? Put them to good use on this quiz about curious state monikers and the facts around them.
Question 1 of 8
Mississippi’s nickname comes from the magnificent trees that grow there. What is it?
Also called particular quantifier.

Origin of existential quantifier

First recorded in 1935–40
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2021

Example sentences from the Web for existential quantifier

British Dictionary definitions for existential 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."
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
See Today's Synonym