go top

存在量词 [cún zài liàng cí]

网络释义专业释义

  [数] existential quantifier

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

基于736个网页-相关网页

  exists

...删除、更新操作,尤其是连接查询、嵌套查询、集函数的应用;关系代数、关系演算与SQL语句的关系;数据库查询中存在量词EXISTS)的使用方法;使用SQL语言正确地完成复杂查询。

基于72个网页-相关网页

  Existential quantification

定义3.4 g12538g2507“∃”g12228g1582存在量词existential quantification),g16847作“g4396在x”,g2559

基于16个网页-相关网页

短语

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

存在量词化 existential quantification

存在量词特指规则 ES

存在数量词 existential quantifier

存在定量词 existential quantifier

 更多收起网络短语
  • existential quantifier - 引用次数:2

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

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

双语例句

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

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

    youdao

  • 集合量词基数词语、序数词语、概数词语存在选择限制关系

    There are some selection and restriction between measure classifiers and number words.

    youdao

  • 量词歧义现象存在一定程度上造成语言使用理解方面困难

    The existence of scope ambiguities of the quantifier produces difficulties in the use and comprehension of languages.

    youdao

更多双语例句

百科

存在量词

存在量词,短语有些、至少有一个、有一个、存在等都有表示个别或一部分含义的词。含有存在量词的命题叫作特称命题。其形式为有若干的S是P。特称命题使用存在量词,如有些、很少等,也可以用基本上、一般、只是有些等。 含有存在性量词的命题也称存在性命题。短语存在一个、至少一个在逻辑中通常叫做存在量词,用符号∃表示。含有存在量词的命题,叫做特称命题(存在性命题)。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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