go top

existential quantifier

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

网络释义专业释义英英释义

  [数] 存在量词

再者, 逻辑表达式严重歪曲了句子的内嵌关系, 因为逻辑式中最明显的算子 存在量词 ( existential quantifier ) 是不定冠词的语义 贡献,而不定冠词是句子中最不重要的成 分。 语法限制对语义理论是必不可少的。

基于723个网页-相关网页

  存在数量词

... existential process 存在过程 existential quantifier 存在数量词 exocentric 外向的 ...

基于18个网页-相关网页

  存在量化号

... existential import 存在意含 existential quantifier 存在定量词;存在量化号 existential sentence 存在句 ...

基于8个网页-相关网页

  存在定量词

... existential import 存在意含 existential quantifier 存在定量词;存在量化号 existential sentence 存在句 ...

基于4个网页-相关网页

短语

bounded existential quantifier [数] 有界存在量词

Existenzquantor existential quantifier 存在量词

The Existential Quantifier 存在量词

existential E quantifier 存在量词

existential U quantifier 存在量词

 更多收起网络短语
  • 存在量词 - 引用次数: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
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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