Next: ei, Previous: ui, Up: Predicate Rules [Contents]

- 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.