中英▼
go top

existential quantifier

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

专业释义英英释义

  • 存在量词 - 引用次数：2

    参考来源 - 中英全称和存在量词的辖域歧义问题的句法和语义分析
  • 存在量词
    存在量化号
    存在定量词
  • 存在量词
  • 存在量词

·2,447,543篇论文数据，部分数据来源于NoteExpress

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

 柯林斯英汉双解大词典 

existential quantifier

  • 1. 

    N a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs." 存在量词 [logic]

双语例句

  • Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.

    任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

    youdao

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

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

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