Explore relationships

Existential quantifier

In predicate logic, an existential quantification is a type of quantifier which asserts the existence of an object with a given property.

Use + to expand a branch. Click a topic name to open its summary.