existential quantifier

existential quantifier

[‚eg·zə¦sten·chəl ′kwän·tə‚fī·ər]

(mathematics)

A logical relation, often symbolized ∃, that may be expressed by the phrase “there is a” or “there exists”; if P is a predicate, the statement (∃ x) P (x) is true if there exists at least one value of x in the domain of P for which P (x) is true, and is false otherwise.

McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

existential quantifier

quantifier

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)