中英▼
go top

existential quantifier

  • 存在量词：一种量词（例如在句子“for some x, 2x + 5 = 8”中的“for some”），它断言存在至少一个被称为存在运算符的变量值。

网络释义英英释义

  存在量词

量词全称量词（Universal Quantifiers)存在量词 (Existential Quantifiers)2.3 谓词逻辑法CISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISIC武汉工程大学 智能...

基于12个网页-相关网页

existential quantifier

  • n. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

    同义词： existential operator

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定