Next:
bv
, Previous:
eg
, Up:
Predicate Rules
6.3.4 Existential Instantiation.
3x(P(x))
———–
P(a) ; a must not have been used before