蕴涵 - 翻译成英语

• implication
• implies
• entailment
• contains

在 中文 中使用 蕴涵 的示例及其翻译为 英语

他的活着亲人还蕴涵三个孩子，迈克尔、克里斯托弗和海伦（Michael,ChristopherandHelen）。
His survivors also include their three children, Michael, Christopher and Helen.

那么，蕴涵于两种系统之下的机器密码（或者环境，如果你喜欢这样?
And machine code, which lies beneath both systems(or environments, if you prefer)?

由AK,AS和MP组成的演算对于直觉逻辑的蕴涵片段是完备的。
The axioms AK and AS, and the rule MP are complete for the implicational fragment of intuitionistic logic.

要求对与土著传统知识相关的习惯法进行一次研究，这项呼吁就蕴涵若干问题和假定。
Embodied in the call for a study on customary laws pertaining to indigenous traditional knowledge are a number of questions and assumptions.

特别是，使用命题演算的规则来检查T{\displaystyleT}在这种条件下是否蕴涵F{\displaystyleF}。
In particular, checking whether T{\displaystyle T} entails F{\displaystyle F} in this condition can be done using the rules of the propositional calculus.

如果宇宙正在膨胀，它在过去必定比较小（这也是蕴涵在膨胀观念中的逻辑结论）。
If the Universe is now expanding, then it must have been smaller in the past.(<- many tacit assumptions here, e.g. a continuous inflation).

Paley-Wiener定理直接蕴涵如果f是紧支撑的一个非零分布，（这包含紧支撑函数），则其傅里叶变换从不拥有紧支撑。
The Paley- Wiener theorem immediately implies that if f is a nonzero distribution of compact support(these include functions of compact support), then its Fourier transform is never compactly supported.

Anderson和Belnap（见后）枚举了一些“严格蕴涵悖论”：例如，矛盾仍蕴涵任何事物，任何事物都蕴涵重言式。
Anderson and Belnap(see below) enumerate several"paradoxes of strict implication": for example, a contradiction still implies everything, and everything implies a tautology.

多体裁自然语言推理语料库(Multi-GenreNaturalLanguageInference,MultiNLI)是一个由433k个句子对组成的源文本集合语料库，这些句子对都带有文本蕴涵信息。
Multi-Genre Natural Language Inference(MultiNLI corpus) is also available: a crowd-sourced collection of 433k sentence pairs annotated with textual entailment information.

B）对于在第n+1步時，從A导出一个新的句子B的每个可能推理規則的应用，展示G蕴涵B。
(b) For each possible application of a rule of inference to A, leading to a new sentence B, show that G implies B.

不才面的清单中，有颁给迪斯尼的22个奥斯卡奖中的12个，蕴涵1968年的一个追授奖；占该类别最早的12次奖项中的10次。
This category is noteworthy for giving Walt Disney 12 of the 22 Academy Awards, including a posthumous 1968 award, and 10 of its first 12 awards in the category.

其它，还在其他市场投资了几家优步的竞争对手，蕴涵巴西的99、印度的Ola、新加坡的Grab以及美国的Lyft。
It has also invested in a handful of Uber competitors in other markets, including Brazil's 99, India's Ola, Singapore's Grab and U.S.-based Lyft.

A→A{\displaystyle\vdashA\rightarrowA}为“不假定任何东西，推导出A蕴涵A”，或者“A蕴涵A是重言式”，或者“A蕴涵A是永真的”。
Read⊢ A→ A{\displaystyle\vdash A\to A} as"Assuming nothing, infer that A implies A", or"It is a tautology that A implies A", or"It is always true that A implies A".

联赛蕴涵20支俱乐部。
This league contains 20 clubs.

权力和知识正好是互相蕴涵的；.
That power and knowledge directly imply one another;

第三，朝鲜自身变革蕴涵的风险。
The third issue is the risks contained in its own revolution of the DPRK.

公理THEN-2可以被看作是“蕴涵关于蕴涵的分配律”。
Axiom THEN-2 may be considered to be a"distributive property of implication with respect to implication.".

确保你的孩子明白其蕴涵意义。
Make sure your children understand what courage is.

伟大的科学发现，往往蕴涵着秩序、简洁和美。
The greatest scientific discoveries often contain order, simplicity and beauty.

但是，统一战线政策不仅有利，也蕴涵着危险。
However, the policy of the united front contains not only advantages but also dangers.