查询词典 material implication

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.

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

The paper starts from the implication and emphasizes its functions in reasoning by illustrating the truth-value condition of material 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.

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

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.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。

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.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

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.

实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样，其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象，所谓的"实质蕴涵怪论"其实并不怪，它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系，从而作了错误的解读所造成的；作为一种特殊的条件语句，在反事实条件句与实质蕴涵的关系问题上，在反事实条件句与一般性条件句的区分上，还有很多地方需要进一步探索。

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.

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

This article discusses the track of the development of implication theory, generalizes B.Russell"s idea about implication,simply induces such implication theories as C.I.Lewis""strict implication" W.Ackermann"s "relevant implication" and so on, and analyzes the relations among these theories, emphasizes that material implication"s basic status in mathematical logic.

论文还从历史发展的角度阐述了蕴涵理论发展的轨迹，总结了罗素对蕴涵问题的认识，简要归纳了刘易斯的"严格蕴涵"、阿克曼等的"相干蕴涵"及安德森和贝尔纳普的"衍涵"等为代表的蕴涵理论的几种形态，并对这几种理论形态之间的关系进行了细致地对照，强调了实质蕴涵在数理逻辑中的基础地位。

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.

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

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。