# prenex

Definition from Wiktionary, the free dictionary

## English[edit]

### Etymology[edit]

### Adjective[edit]

**prenex** (*not comparable*)

- (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 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

- is the

### Derived terms[edit]

### References[edit]

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