英和和英

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, Neil Immerman, 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) The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.

${\\displaystyle \\forall x.\\exists y.}$ is the prenex of the formula ${\\displaystyle \\forall x.\\exists y.P(x,y)}$

Wiktionary英語版