1) theoretical implication
理论蕴涵
1.
There are different theoretical implications for zoology compensation in different subjects.
在不同学科的研究视野中,生态补偿有着不同的理论蕴涵。
2) On Implications
蕴涵理论研究
3) Paradoxes of Implication
蕴涵怪论
1.
Lack of relevance may lead to certain types of paradoxes of implication though is not the cause of other types thereof.
“蕴涵怪论”产生于命题逻辑而非谓词逻辑的层面上,相干性的缺失导致某些“蕴涵怪论”的产生, 却不是另一些“蕴涵怪论”生成的原因。
4) Reflections on Entailment
浅论蕴涵
5) ideal implication
理想蕴涵
1.
It is proved that Lukasiewicz implication is an ideal implication, and Reichenbach implication is not an ideal implication.
证明了Lukasiewicz蕴涵是理想蕴涵,Reichenbach蕴涵不是理想蕴涵。
2.
On the basis of the synthetical analysis of ten important implication operators and sixteen restrictive conditions of implication operators, the author puts forward a kind of important implication operators-ideal implications and discusses their restrictive conditions.
在文中通过对常用的 1 0个蕴涵算子及1 6个限制性质的综合分析 ,提出了一类新的蕴涵算子——理想蕴涵 ,这类蕴涵包括了一些重要的蕴涵算子 ,如 ,Lukasiewicz蕴涵 ,R0 蕴涵等 。
6) reasoning implication
推理蕴涵
1.
Based on the 19 properties which is used to verify the fuzzy implications,some well-known fuzzy implications which include reasoning implication,basic implication and value-maintained implication are introduced.
以检验模糊蕴涵算子的19条性质为出发点,引入若干常见模糊蕴涵的定义,提出推理蕴涵、基本蕴涵和保值蕴涵等概念;对常见蕴涵的性质进行分析,比较了它们的关系;探讨19条性质的独立性,得到如果I满足Ⅰ10,Ⅰ11和Ⅰ16,则I满足Ⅰ1~Ⅰ19,且Ⅰ10,Ⅰ11和Ⅰ16是相互独立的。
补充资料：严格蕴涵演算
严格蕴涵演算
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」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条