1) prime implication sets
质蕴含集
1.
In this paper,we study the algorithm to find prime implication sets in multi-state system fault tree.
在这些规则的基础上，提出多状态系统故障树质蕴含集的求取算法。
2) prime implication
质蕴含项
1.
Getting all the prime implications thoroughly is studied and an easily learned computer program is provided in this article.
针对全部质蕴含项进行研究并给出简单易行的计算机编程方案,结果表明,这种计算机软件编程实现方法与手动化逻辑函数简的结果完全一致,可以达到降低系统成本、减小复杂度、提高可靠性的目的。
3) essential prime implicate
基本质蕴含项
4) imply
[英][ɪm'plaɪ] [美][ɪm'plaɪ]
蕴涵;蕴含
5) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴含
1.
We discuss t-norm and implications on I() based on left-continuous t-norm and right-continuous implications on .
本文在[0,1]上左连续t模和右连续蕴含的基础上讨论了区间数I([0,1])上的t模及蕴含,得到了(I([0,1]),T,θT)构成一个剩余格。
2.
The paper introduces several methods of proof about formula implication: truth table method;equivalent performing mathematical calculations method;direct method;indirect method and so on.
本论文介绍了公式蕴含的几种证法:真值表法、等价演算法、直接证法、间接证法等,灵活应用公式蕴含的证明方法,有利于逻辑推理的顺利进行。
3.
Simplify the axiom system of lattice implication algebras , which was given by Y.
给出的格蕴含代数的公理系统 ,并给出另一个公理系统。
6) entailment
[英][in'teilmənt] [美][ɪn'telmənt]
蕴含
1.
This paper introduces achievements made by philosophers and linguists on the definition of presupposition and reductionism of presupposition,and discusses the possibility of presupposition s being replaced by entailment and implicature and the role of presupposition in the information structure of discourses.
本文介绍了哲学家和语言学家在预设的界定、预设的归结论(reduction-ism)等方面的研究成果,并对预设是否会被蕴含(entailment)和含义(implicature)代替的可能性以及预设在语篇信息结构中的作用进行了论述。
2.
This treatise uses TFA concept and its analytic method to discuss the differences and characteristics of the presupposition,entailment and affirmance.
文章运用TFA概念和分析方法,探讨预设、蕴含和断言之间的区别及运作特点。
3.
Then some explainations are gaven about the entailment.
并提出蕴含的定义,在此基础上探讨预设和蕴含二者之间的关系及其区别。
补充资料：半丝质体(惰质组)
半丝质体(惰质组)
17．半丝质体(惰质组)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条