1. prenex - Noun
2. prenex - Adjective
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.
∀
x
.
∃
y
.
{\displaystyle \forall x.\exists y.}
is the prenex of the formula
∀
x
.
∃
y
.
P
(
x
,
y
)
{\displaystyle \forall x.\exists y.P(x,y)}