在线词典
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。
输入要查询的单词:
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 全称量词; 全称量化 ..
正在查询...
{error}
你是不是想查找:
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接:
{link}
复制链接{phones}
{text}:[{value}]
{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词: {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}