go top

the existential quantifier

网络释义

  存在量词

语句“存在一个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

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定