1) character implication item
质蕴涵项
1.
Among the algorithms of logic function with computer,a new algorithm which needs minimum cost and has no redundance items is proposed by combining traditional slack algorithm with delimited divarication algorithm process the character implication items need not to be calculated.
在逻辑函数的计算机算法中 ,将传统松弛算法与限界分枝思想相结合 ,提出了一种产生最小代价且无冗余项的新算法 ,在此过程中仍不需计算质蕴涵项。
2) Essential prime implicant
实质本源蕴涵项
1.
This paper reveals that the methods to identify essential prime implicants of both ESPRESSO and that proposed by S.
本文揭示了ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。
6) material implication
实质蕴涵
1.
It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。
2.
The so-called paradox of material implication is not actually that odd since it is caused by some kind of misunderstanding when people require material implication expressions not only the truth properties but contents and meanings as well in conditions.
实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样,其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象,所谓的“实质蕴涵怪论”其实并不怪,它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系,从而作了错误的解读所造成的;作为一种特殊的条件语句,在反事实条件句与实质蕴涵的关系问题上,在反事实条件句与一般性条件句的区分上,还有很多地方需要进一步探索。
3.
Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication,this situation obstructs the aim of logic norm and people s correct thinking.
实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。
补充资料：国际现代五项和冬季两项联盟
1948年成立国际现代五项联合会，1969年由于增加了冬季两项活动改为现名,会址设在瑞典兰斯克鲁纳。现代五项有50个会员协会,冬季两项有40个会员协会,正式工作语言为英语和法语。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条