prenex

[计] 前束的

发音

/ˈpɹi.nɛks/

词形变化

prenexes 复数 prenexes

释义与例句

n.
  1. 1.

    The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.

    数学 哲学

    ∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y)

adj.
  1. 1.

    Of a formula, having all of its quantifiers at the beginning.

    数学 哲学

相关短语

prenex normal form [计] 前束范式

词源

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

来源：wiktionary