英汉词典
网站首页 | 英汉词典
更新日期:2026-08-14
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. 任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。