existential quantifier

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.
Also called particular quantifier.


Origin:
1935–40
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2012.
Cite This Source Link To existential quantifier

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Existential quantifier is always a great word to know.
So is doohickey. Does it mean:
an arrangement of five objects, as trees, in a square or rectangle, one at each corner and one in the middle.
a gadget; dingus; thingumbob.
Collins
World English Dictionary
existential quantifier
 
n
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 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
FOLDOC
Computing Dictionary

existential quantifier definition


quantifier

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature