Next: pr, Previous: bv, Up: Predicate Rules [Contents]
If a quantifier’s bound variable does not appear in its scope, then the quantifier is said to be null, and can be removed using Null Quantifier.
As an equivalence rule, null quantifier can be used on any part of the sentence, and only uses one reference.