# prenex

## English[edit]

### Etymology[edit]

From Late Latin *praenexus* (“bound up in front”), a compound of *prae* (“before”) and *nexus*, past participle of *nectō* (“to bind”)

### Adjective[edit]

**prenex** (*not comparable*)

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

- "We say that is

### Noun[edit]

**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.^{[1]}- is the prenex of the formula

### Derived terms[edit]

### References[edit]

- ^ John Woldemar Cowan,
*The Lojban Reference Grammar*, §16.2