prenex

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

English[edit]

Etymology[edit]

Borrowed from Late Latin praenexus (bound up in front), from Latin 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, 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]