GNU Aris Manual: ug

Next: ui, Up: Predicate Rules [Contents]

#### 6.3.1 Universal Generalization

- P(a) ; a is arbitrary
- ——–
- Vx(P(x))

Universal Generalization claims that if a property ‘`P`’ is true for some arbitrary object, then it is true for all objects. A symbol is arbitrary if nothing is known about, or rather if it was not introduced through a premise or using existential instantiation. Variables

Universal Generalization uses exactly one reference.