# prenex

## English

### Etymology

 This entry lacks etymological information. If you are familiar with the origin of this term, please add it to the page as described here. Particularly: “from predicate?”

prenex (not comparable)

1. (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
• 1999, Neil Immerman, Descriptive Complexity, New York: Springer-Verlag, ISBN 0-387-98600-6, page 12:
"We say that $\phi$ is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

### Noun

prenex (plural prenexes)

1. (mathematics, logic) Part at the beginning of a prenex formula where all of the formula's bound variables get bound by logical quantifiers.[1]
$\forall x. \exists y.$ is the prenex of the formula $\forall x. \exists y. P(x,y)$

### References

1. ^ John Woldemar Cowan, The Lojban Reference Grammar, §16.2