prenexとは 意味・読み方・使い方

発音

• (米国発音) IPA: /ˈpɹi.nɛks/

形容詞

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, 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)

1. (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)}$

参照