prenex
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)
 (mathematics, logic) Of a formula, having all of its quantifiers at the beginning.

1999, Immerman, Neil, Descriptive Complexity, New York: SpringerVerlag, ↑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)
 (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]
 ^ John Woldemar Cowan, The Lojban Reference Grammar, §16.2