Next:
pr
, Previous:
bv
, Up:
Predicate Rules
6.3.6 Null Quantifier
Vx(P(a)) <=> P(a)