在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

universal quantifier

查词链接:https://www.dute.org/dict/universal_quantifier复制链接
全称量词:逻辑学中表示所有成员的量词,通常用于表示一个命题对于所有成员都成立。
查看英英释义
n.
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things

网络释义
全称量词
⑴全称量词(Universal Quantifier):用字符“?x”表达,表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。
全称范域词
... universal instantiation 普遍例式 universal quantifier 全称范域词 unknown word 未知词 [不决义词] ...
普遍限量词
... generalization 普遍化;法则化;一般化;归纳;类化;条理化;概括化 universal quantifier 普遍定量词;普遍限量词;全称量化号 universality 普遍性;共通性;通用性 ...
全称量化号
... generalization 普遍化;法则化;一般化;归纳;类化;条理化;概括化 universal quantifier 普遍定量词;普遍限量词;全称量化号 universality 普遍性;共通性;通用性 ...
常用短语
更多常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...