prenex

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

English[edit]

Etymology[edit]

EB1911 - Volume 01 - Page 001 - 1.svg This entry lacks etymological information. If you are familiar with the origin of this term, please add it to the page as described here.
Particularly: “from predicate?”

Adjective[edit]

prenex (not comparable)

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

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]
    \forall x. \exists y. is the prenex of the formula \forall x. \exists y. P(x,y)

Derived terms[edit]

References[edit]

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