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]

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