1) backward implication
反向蕴涵
1.
The algorithm used backward implication in improved FAN algorithm to activate fault and mapped test vector space to the chaotic space,adopted chaotic search to find out the suitable testing pairs.
该算法利用改进FAN算法的反向蕴涵部分激活故障并将测试向量空间映射到混沌空间,采用混沌搜索来确定未确定的测试向量位。
2) NOT-IF-THEN element
反蕴涵元件
3) anti-positive implicative BCK-algebras
反正蕴涵BCK-代数
4) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵
1.
Power Optimization of Technology-dependent Circuits Based on Static Logic Implications;
基于静态逻辑蕴涵的电路功耗优化
2.
Teaching reform of introduction to using quantification and realization of implication in the mathematical calculations performed tuple relationship and SQL;
关系演算和SQL中使用量词和实现蕴涵的教学方法探讨
3.
Direct Decomposability of Implication Operators on Product Lattices;
积格上蕴涵算子的直积分解(英文)
5) implications
[英][,impli'keiʃən] [美][,ɪmplɪ'keʃən]
蕴涵
1.
Several Classes of Implications Based on Binary Aggregation Operators on L~*;
几类基于L~*上二元聚合算子的蕴涵(英文)
6) contain
[英][kən'teɪn] [美][kən'ten]
蕴涵
1.
On the culture of female reproduction worship contained in Chinese Characters;
试论汉字蕴涵的女性生殖崇拜文化
2.
Most scholars believe that people can not obtain new knowledge from deductive reasoning because the premiss of the deductive reasoning already contains its conclusion.
大多数学者认为演绎推理不可获取新的知识,原因在于演绎推理的前提已经蕴涵其结论。
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条