1) On Implications
蕴涵理论研究
2) theoretical implication
理论蕴涵
1.
There are different theoretical implications for zoology compensation in different subjects.
在不同学科的研究视野中,生态补偿有着不同的理论蕴涵。
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是相互独立的。
补充资料：蕴涵
蕴涵
implication
蕴涵(如帅口位价;“Mn几H以找“皿l 一种逻辑运算，用来从两个表示式A和B构造表示式“如果A，那么B”.在形式语言中，最常用的表示蕴涵的符号是“，~或”.表示式A称为AOB的前提(Pn沉n拐e)，而表示式B称为结论(co璐叫比nCe).表示式A“B的确切含意在经典的、可构成的和其他一些对语言的语义处理中各不相同.在经典语义的语言中，蕴涵式的含义由如下真假值表(赶址h table)给出: 下号如上所说的这种蕴涵称为实质蕴涵(订么忱对allrr甲玩习.tion)B .E.且四c‘o撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条