Next:
ei
, Previous:
ui
, Up:
Predicate Rules
6.3.3 Existential Generalization
P(a)
———–
3x(P(x))