1) existentially quantified variable
存在量词化变元
2) n-ary existential quantifier
n-元存在量词
1.
Aiming at the insufficiency of the MSC inference in DLs which can not deal with n-ary existential quantifier,the MSC inference for the DL with n-ary existential quantifier εL(n)is studied,where n-ary existential quantifier is a new concept constructor in DLs.
针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题。
3) existential quantifier
存在量词
1.
The Syntactic and Semantic Analysis of Scope Ambiguity of Universal and Existential Quantifiers in Mandarin Chinese and English;
中英全称和存在量词的辖域歧义问题的句法和语义分析
2.
Taking three relations for example, applyin some relevant theories to discrete mathematics, this article converses the query of the universal quantifier problem into the query of equivalent existential quantifier, then to achieve it in SQL.
以三个关系为例，应用离散数学的有关理论，把具有全称量词的查询问题转换成等价的存在量词的直询问题，并用SQL语言予以实现
4) existing in pluralism
多元化存在
5) unit quantifier
有界存在量词
6) quasi-limited existential quantifier
拟受囿存在量词
补充资料：存在量词
存在量词
existential quantifier
存在且词【e汕众砚目甲翻‘衡，ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算，表示“对某个x"(“存在一个x满足”).在形式语言中，存在量词被记作日x，(日x)，口、，v、，艺工 B .E .fl二“cKo撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条