查询词典 implication

Hangzhou 310027,China）Abstract :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.

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。

It arises only when people explain the true of material implication with a certain phrase,or when some possibilities are achieved due to the inevitability of tautology implication formula,or when some actural inference is regarded as implication relation.T...

当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。

Basing on this, this article deeply analyzes the relations between implication and the connective "If, then" used in ordinary logical thinking, and points out that material implication is scientific abstract generation to the ordinary language "If, then". Their sameness lies in: when a conditionals protasis is true and its consequent is false, material implication equation is false.

在此基础上，论文深入地分析了蕴涵与人们极易混淆的日常逻辑思维中的"如果，则"的关系，指出实质蕴涵作为数理逻辑中对日常语言"如果，则"的科学抽象地概括，二者的相同点在于：当前件真后件假时，充分条件假言判断为假，实质蕴涵式也为假。

Basing on this, this article deeply analyzes the relations between implication and the connective "If, then" used in ordinary logical thinking, and points out that material implication is scientific abstract generation to the ordinary language "If, then". Their sameness lies in: when a conditional's protasis is true and its consequent is false, material implication equation is false.

在此基础上，论文深入地分析了蕴涵与人们极易混淆的日常逻辑思维中的"如果，则"的关系，指出实质蕴涵作为数理逻辑中对日常语言"如果，则"的科学抽象地概括，二者的相同点在于：当前件真后件假时，充分条件假言判断为假，实质蕴涵式也为假。

How to implement FMP algorithm and FMT algorithm with Mamdani implication operator, algebra product implication operator and Zadeh implication operator are given on the basis of POFI respectively.

首先分别给出了基於POFI方法的Mamdani蕴涵算子、代数积蕴涵运算子和Zadeh蕴涵运算子的FMP算法与FMT算法中寻求推理后件的计算运算式。

Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra, Implication Algebra with condition are gained.

对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件，得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系，给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。

Moreover, the ultraproduct lattice implication algebras and the fuzzy ultraproduct of fuzzy subsets of lattice implication algebras are proposed by using the concept of ultrafilters, with the corresponding properties of fuzzy filters, fuzzy associative filters and fuzzy lattice implication subalgebras being discussed.

另外，文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积，并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。

The ways of implication have been separated into politeness,ellipsis,and humor according to the potential criteria in communication principles executed by the mechanism of discourse implication which exists in the process of intercommunicating,so,all the three elements of language——-pronunciation, vocabulary,and syntax take part in the process,and the mechanism of discourse implication need to be provided with some definite necessary conditions.

一、话语暗示的类型会话是由一个以上的人参加的交替说话的言语交际活动。话语交际的目的是为了说话人成功地传达信息，听话人成功地理解接受说话人所传达的信息，并能够做出相应的反应。所以

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。