3.Next

In predicate logic, an existential quantification is a type of quantifier which asserts the existence of an object with a given property. It is usually denoted by the logical operator symbol ?, which, when used together with a predicate variable, is called an existential quantifier

3.Next