补充资料：存在量词

存在量词
existential quantifier

　　存在且词【e汕众砚目甲翻‘衡，ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算，表示“对某个x"(“存在一个x满足”).在形式语言中，存在量词被记作日x，(日x)，口、，v、，艺工 B .E .fl二“cKo撰
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。