existential quantifier是什么意思_existential quantifier的用法_词性_词根

词序

查询

词典释义：

existential quantifier

时间: 2024-05-14 00:04:56

英 [ˌɛɡzɪˈstɛnʃ(ə)l ˈkwɒntɪfʌɪə]

美 [ˌɛɡzəˈstɛn(t)ʃ(ə)l ˈkwɑn(t)əˌfaɪər]

n. 存在量词

双语例句

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

释义

Logic a formal expression used in asserting that something exists of which a stated general proposition can be said to be true

【逻】存在量词。