英语人>词典>英汉 : existential quantifier的中文,翻译,解释,例句
existential quantifier的中文,翻译,解释,例句

existential quantifier

existential quantifier的基本解释
-

[计] 存在量词

相似词
更多 网络例句 与existential quantifier相关的网络例句 [注:此内容来源于网络,仅供参考]

Then on the basis of western existential, we analyze definite meaning of the existential, explore the existential philosophy of the traditional philosophy plight of abandoned and beyond. Basing on this demonstration of the praxis category with the existential meaning. Marx pointed out in the innateness of human, natural fact, the natural state of survival reached the general attention, existential significance of praxis can be fully reflected. And explained that Marxist philosophy in the modern existential philosophy of the founders position.

之后以西方生存论为基础对生存论的内涵进行了分析和界定,探讨了生存论哲学对传统哲学理论困境的扬弃与超越,在此基础上通过考察马克思在对人的本然、实然、应然的生存状态的总体性关注中所体现的实践范畴所具有的生存论意蕴,并说明了马克思哲学在现代生存论哲学中的奠基性地位。

The quantifier is one of modern Chinese grammar traits and the individual companion quantifier is the most representative one in quantifier system.

量词是现代汉语语法的特点之一,陪伴性个体量词是量词系统中最具有代表性的一类。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

更多网络解释 与existential quantifier相关的网络解释 [注:此内容来源于网络,仅供参考]

existential quantifier:存在量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

existential quantifier:存在定量詞;存在量化號

existential sentence 存在句 | sentence of being 存在句 | existential quantifier 存在定量詞;存在量化號

existential quantifier:存在数量词

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

existential quantifier:存在量词 IN FOPC(一阶谓词演算)

61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划

bounded existential quantifier:有界存在量词

bounded domain 有界域 | bounded existential quantifier 有界存在量词 | bounded function 有界函数

加载更多网络解释 (4)