1) knowledge implication
知识蕴涵
1.
In the knowledge implication propositional logic system which build on this strategy,1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中:1。
2.
At the basic of knowledge implication propositional logic,a system of knowledge implication tense prepositional logic system has been built.
在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。
3) knowledge intension
知识内涵
1.
The advent of culture age motivates a transition of knowledge intension of ideology from elites to populace,making it reflect spirits of everyman,which breaks the old cultural order,and awakes people s passion for culture.
文化时代的来临,推动着意识形态的知识内涵日益从精英化转向大众化,进行反映大众精神的知识叙述,这在一定程度上打破了文化等级秩序,唤起了大众的文化热情。
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」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条