prenex

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

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)

  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[edit]

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[edit]

References[edit]