Next:
ui
, Up:
Predicate Rules
6.3.1 Universal Generalization
P(a) ; a is arbitrary
———–
Vx(P(x))