prenex /ˈpɹi.nɛks/adjective 1noun 1forms 1 adjective1 •Of a formula, having all of its quantifiers at the beginning. noun1 •The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y) formsprenexes
