In predicate logic, an existential quantification is the predicationThe term "predication" in grammar means the predicate of a sentence which refers to subject and is an adverb or adjective, or equivalent, that describes an attribute of the subject. In logic, "predication" is a declaration (or assertion) that is claimed to be self-evident and can be assumed as the basis for argument. of a property or relation to at least one member of the domain.[LINK: http://dictionary.reference.com/browse/predication] [1] It is denoted by the logical operator symbol ? (pronounced "there exists"), which is called the existential quantifier. Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for any members of the domain. Basics Suppose you wish to write a formula which is true if and only if some natural