在线词典

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

uniqueness quantification

查词链接:https://www.dute.org/dict/Uniqueness_quantification复制链接
唯一量化(唯一量化是谓词逻辑和相关技术领域中的概念,用于形式化“精确”的事物或特定类型的事物为真的概念。唯一量化的一般化是计数量化,符号化写为∃!,通常读做“有一个且只有一个”或“存在唯一一个”)
查看英英释义
abstract:
In mathematics and logic, the phrase "there is one and only one" is used to indicate that exactly one object with a certain property exists. In mathematical logic, this sort of quantification is known as uniqueness quantification or unique existential quantification.

网络释义
唯一量化
uniqueness quantification 唯一量化; 有且仅有 universal quantification 全称量词; 全称量化 .
有且仅有
uniqueness quantification 唯一量化; 有且仅有 universal quantification 全称量词; 全称量化 ..
* 以上查询结果来自于网络,仅供参考。
正在查询...