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

　

单词 existential quantification
释义
existential quantification
  • 简明释义
  • 存在量化
  • 网络释义
  • 1

    ?存在量化

    ...各自的设想语境中都是真正的事项，所以，语境主义的事项理论将不能总是满足经典逻辑中的存在量化（existential quantification）。在这个意义上，语境主义的事项原则可能更倾向于那种“舍弃了普遍的存在量化、转而尤其注重单称词项分析”的自由逻辑 。

  • 2

    ?存在量词

    定义3.4 g12538g2507“?”g12228g1582存在量词（existential quantification），g16847作“g4396在x”，g2559

  • 3

    ?特称

    existential quantification 存在量词化; 存在量化; 存在性; 特称 geologic quantification 地质学的定量化 ..

  • 4

    ?存在性

    existential quantification 存在量词化; 存在量化; 存在性; 特称..

  • 双语例句
  • 1
    A pure functional language like Haskell might offer type hierarchies, discriminated unions, quantification, existential types, and so on, but OOP languages typically lack these things.
    象Haskell那样的纯函数型语言可以提供类型层次结构、区别合并、量化、存在类型等等，但OOP语言通常缺乏这些功能。
随便看

　

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

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/3/25 6:41:59