Next: ei, Previous: ui, Up: Predicate Rules
Existential Generalization claims that if ‘P’ is true for some object, then there exists an object for which ‘P’ is true.