英汉词典

网站首页 | 英汉词典

existential quantifier

更新日期:2026-08-14

词语 existential quantifier
释义

existential quantifier
释义
存在量词:一种量词(例如在句子“for some x, 2x + 5 = 8”中的“for some”),它断言存在至少一个被称为存在运算符的变量值。
例句
1·Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

随便看