Next:
eg
, Previous:
ug
, Up:
Predicate Rules
6.3.2 Universal Instantiation
Vx(P(x))
———–
P(a)