prenex

名词 n. 形容词 adj.
中文释义
美 /ˈpɹi.nɛks/

英文释义

名词 n.
  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. Of a formula, having all of its quantifiers at the beginning. not-comparable
    — "We say that #92;phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

词形变化

prenexes plural

词源

词源 1
Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).
词源 2
Borrowed from Late Latin praenexus (“bound up in front”), from Latin prae- (“before”) and nexus, past participle of nectō (“to bind”).
0 次浏览 数据来源: Wiktionary