GNU Aris Manual: ui

---

6.3.2 Universal Instantiation

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

Universal Generalization claims that if a property ‘P’ is true for all objects, then it must be true for an object ‘a’.

Universal Generalization uses exactly one reference.