Definition from Wiktionary, the free dictionary
prenex (not comparable)
- (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
prenex (plural prenexes)
- (mathematics, logic) Part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.
- is the prenex of the formula