【existential_quantification】什么意思_英语existential_quantification的翻译_音标_读音_用法_例句_在线翻译

existential quantification

存在量化

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

基于2496个网页-相关网页

存在量词

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

基于16个网页-相关网页

特称

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

基于4个网页-相关网页

存在性

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

基于4个网页-相关网页

动力与电气工程 | 计算机科学技术

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

abstract: In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists," "there is at least one," or "for some." It expresses that a propositional function can be satisfied by at least one member of a domain of discourse.

以上来源于: WordNet

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语言通常缺乏这些功能。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句