prenex

English

Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).

prenex (not comparable)

(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 ${\\displaystyle \\phi }$ is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

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

单词	prenex
释义	prenex English Etymology Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”). Adjective prenex (not comparable) (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 ${\\displaystyle \\phi }$ is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers." Noun 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] ${\\displaystyle \\forall x.\\exists y.}$ is the prenex of the formula ${\\displaystyle \\forall x.\\exists y.P(x,y)}$ Derived terms prenex normal form References John Woldemar Cowan, The Lojban Reference Grammar, §16.2
随便看	Vienneses Viennese waltz Viennese waltzes viennesi Viennois viennois Viennoise viennoise viennoiserie viennoiseries Viennoises viennoises Vieno vieno vie nocturne vienodama vienodamas vienodami vienodams vienoja vienojam vienojama vienojamai vienojamais vienojamajai