A well-formed formula of the predicate calculus is in prenex normal form if all the quantifiers stand at the front, and any other logical constant stands within the scope of all the quantifiers.
Philosophy dictionary. Academic. 2011.
Philosophy dictionary. Academic. 2011.