Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
universal quantification
Vertaling van "universal quantification" in Chinees
全称量化
存在量化
The parentheses indicate universal quantification by default.
默认情况下，圆括号表示的是全称量化。
Two fundamental kinds of quantification in predicate logic are universal quantification and existential quantification.
在谓词逻辑 的两类基本量化是全称量化 和存在量化 。
This is a single statement using universal quantification.
这是使用了存在量化的一个单一的称述。
System F allows polymorphism by using universal quantification over all types; from a logical perspective it can describe all functions that are provably total in second-order logic.
系统F通过在所有类型上的全称量化允许多态性；从逻辑的观点看它可以描述可证明在二阶逻辑中是全函数的所有函数。
This is a single statement using universal quantification.
这便是一个使用全称量化的单一命题。
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
在谓词逻辑 中，全称量化 是尝试形式化某个事物（逻辑谓词 ）对于所有事物 或所有有关的事物都为真的概念。
SQL does not explicitly support universal quantification, and must work it out as a negated existential quantification.
SQL不明确支持全称量化，必须将其定义为否定存在量化。
A succinct formulation which avoids these problems uses universal quantification
避免这些问题的一个简洁的公式化是使用全称量化 ：
There is a special notation used only for universal quantification, which is given
这里给出一种仅用于表示全称量化的特殊符号表示：
Generally, then, the negation of a propositional function's existential quantification is a universal quantification of that propositional function's negation; symbolically,
一般地，则有，对一个命题函数的全称量化的否定是该命题函数的否定的一个存在量化 ；可用符号表示为：
These extensions are called conservative because if a formula φ involving new connectives is rewritten as a logically equivalent formula θ involving only negation, implication, and universal quantification, then φ is derivable in the extended system if and only if θ is derivable in the original system.
这些扩展被称为是保守的，因为如果涉及新连结词的公式φ被重写为只涉及否定、蕴涵和全称量词的逻辑等价的公式θ，则φ在扩展系统中是可导出的，当且仅当θ在最初系统中可导出的。
In this work Frege presented for the first time what we would recognise today as a logical system with negation, implication, universal quantification, essentially the idea of truth tables etc., but what would not be recognisable today is the notation which Frege used.
在这项工作中弗雷格提出首次将是我们今天认识到作为一个逻辑系统与否定，暗示，普遍量化，基本上是思想的真理表等，但不会认今天是符号的弗雷格使用。
All of these variations also apply to universal quantification. Other variations for the universal quantifier are
所有这些变体都同样适用于全称量化和存在量化。
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor universal quantification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 14. Exact: 14. Verstreken tijd: 13 ms.
