GNU Aris Manual: eg

---

6.3.3 Existential Generalization

• P(a)
• ——–
• 3x(P(x))

Existential Generalization claims that if ‘P’ is true for some object, then there exists an object for which ‘P’ is true.

Existential Generalization uses exactly one reference.