英语词汇universal quantifier怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

universal quantifier

释义

universal quantifier

简明释义

全称量词：逻辑学中表示所有成员的量词，通常用于表示一个命题对于所有成员都成立。

网络释义

1
[数]?全称量词
⑴全称量词(Universal Quantifier)：用字符“?x”表达，表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。
2
?全称范域词
... universal instantiation 普遍例式 universal quantifier 全称范域词 unknown word 未知词 [不决义词] ...
3
?普遍限量词
... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ...
4
?全称量化号
... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ...

短语

1
bounded universal quantifier
计有界全称量词
2
Allquantor universal quantifier
全称量词
3
The Universal Quantifier
全称量词

双语例句

1
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
2
Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	universal quantifier
释义	universal quantifier 简明释义全称量词：逻辑学中表示所有成员的量词，通常用于表示一个命题对于所有成员都成立。网络释义 1 [数]?全称量词 ⑴全称量词(Universal Quantifier)：用字符“?x”表达，表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。 2 ?全称范域词 ... universal instantiation 普遍例式 universal quantifier 全称范域词 unknown word 未知词 [不决义词] ... 3 ?普遍限量词 ... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ... 4 ?全称量化号 ... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ... 短语 1 bounded universal quantifier 计有界全称量词 2 Allquantor universal quantifier 全称量词 3 The Universal Quantifier 全称量词双语例句 1 Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic. 任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。 2 Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries. 带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。
随便看	Stak stake stake a stake a bath stake a claim stake a claim to stake anchor stake beacon stakeboat stake boat stake body stakebuilding stake ... claim stake contact stake culture staked staked claim staked out staked out stake down Staked Plain stake driver stake driver stake driver stake his claim