请输入您要查询的英文单词:

 

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

    [数]?存在量词

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

  • 2

    ?存在数量词

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

  • 3

    ?存在量化号

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

  • 4

    ?存在定量词

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

  • 双语例句
  • 1
    Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
    任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/25 7:00:00