English

Adjective

prenex ‎(not comparable)

1. (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
   • 1999, Immerman, Neil, 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."

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]

   is the prenex of the formula

Derived terms

• prenex normal form

References

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