语句“存在一个x ”、“至少有一个x ”、“有一个x ”、“对某一个x ”等称为存在量词(The Existential Quantifier),记作 x 。 ) ( x xF 表示个体域里至少存在一个个体具有性质F 。
基于1个网页-相关网页
the existential quantifier
存在量词
以上为机器翻译结果,长、整句建议使用 人工翻译 。
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
youdao
应用推荐
模块上移
模块下移
不移动