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 universal ( dually , existential) quantifier interprets the interior (closure) operator;

  全称（对偶的存在）量词解释内部算子（闭包算子）；

• The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

  数理逻辑中存在量词引入的必要性