全称量化 Universal quantification
（重定向自Universal quantifier）
在谓词逻辑中，全称量化是尝试形式化某个事物（逻辑谓词）对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词（典型的"∀"）是用来指示全称量化的符号。
| 单词 | universal quantifier |
| 释义 |
universal quantifier
英汉-汉英词典
全称量词
词组 | 习惯用语
您要查找的是不是：The Universal Quantifier 全称量词 bounded universal quantifier 有界全称量词；翻译 universally quantified formula 全称量限式 universally quantified variable 广用量化变数；翻译 determiner universal quantifier 限定性全称量化词 implicitly universally quantified 任意值 Allquantor universal quantifier 全称量词 unbounded universal quantifier 无界全称量词 universal quantifier [数] 全称量词
中文百科
全称量化 Universal quantification（重定向自Universal quantifier）
在谓词逻辑中，全称量化是尝试形式化某个事物（逻辑谓词）对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词（典型的"∀"）是用来指示全称量化的符号。
英语百科
Universal quantification 全称量化（重定向自Universal quantifier）
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a propositional function can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
近义、反义、联想词
近义词n.quantifier
英英词典
universal quantifier n.
|
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。