existential quantifier

existential quantifier的基本解释

-

[计] 存在量词

与existential quantifier相关的网络例句 [注：此内容来源于网络，仅供参考]

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

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

The paper studied the query language of linear order constraint with existential quantifier under canonical forms.

本文考察了带存在量词的基于代数的线性序约束查询语言，给出其基本运算的定义和实施算法。

The algorithms of algebraic query operations were given. With existential quantifier, we could reduce the cost of exact projection.

不对存在量词进行消去，可以减少计算精确投影的一些开销，还能表达包含无穷约束元组的线性序约束关系。

The former is bound by operator gen and the latter is bound by existential quantifier.

类指性由类指算子gen约束，存在性由存在量词约束。

The most plausible suggestion is that Lewis and Unger assign different meanings to the existential quantifier, '' (as well as quantificational phrases like 'there are', 'there is', and 'some').

最合理的建议是，L和U指派了不同的意思给存在量词，""（也就是量词表达"存在"、"有"、"一些"等）。

与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 有界函数