Definition from Wiktionary, the free dictionary
Jump to: navigation, search



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


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 \phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."


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)

Derived terms[edit]


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