【existential_quantifiers】什么意思_英语existential_quantifiers的翻译_音标_读音_用法_例句_在线翻译

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

双语例句

The disadvantage of Spark compared to a standard EBNF-based tool is that it is more verbose and that it lacks direct occurrence quantifiers (i.e., existential "+", possible "*", limited "?").

Spark 与标准的基于 EBNF 的工具相比缺点在于，它比较冗长，而且缺少直接的出现计量符（即表示存在的“+”，表示可能性的“*”和表示有限制性的“?”）

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句

目录

existential quantifier

网络释义 英英释义

existential quantifier

相关文章

双语例句

修改单词