英语人>词典>汉英 : 实质蕴涵 的英文翻译,例句
实质蕴涵 的英文翻译、例句

实质蕴涵

词组短语
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.

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

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.

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

"Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional p q (read "if p then q") is true"

逻辑学家将蕴涵分成实质的和严格的两种主要类型。p命题实质蕴涵q命题,若且唯若实质条件pq为真

更多网络解释与实质蕴涵相关的网络解释 [注:此内容来源于网络,仅供参考]

bounded:有界

"内包"实质上蕴涵着"有界"(bounded),有界的事件由主句表现,是图形,构成一个有界的关闭状(closure),关闭得越显著,就越能加强前景的突显程度;无界(unbounded)的事件由从句或非限定性从句表现,为图形事件提供背景范围.

essential parameter:基本参数

essential multiple output prime implicant 实质多重输出本原 | essential parameter 基本参数 | essential prime implicant 基本素蕴涵,实质本原蕴涵

matching theorems:匹配定理

matching 匹配 | matching theorems 匹配定理 | material implication 实质蕴涵

material implication:实质蕴涵

述谓结构由谓词(predicator)和谓元(argument)组合而成:其中谓词主要体现为动词性的语法单位,...它的意思决不是什么命题的任何函项,而是活动目标预测器(predicator)产生的一种功能;"实质蕴涵"(material implication),...储存分支指令的位址或目标位址,

implication of material:实质蕴涵

implementation step | 实施步骤 | implication of material | 实质蕴涵 | implicit address | 隐式地址

essential prime implicant:基本素蕴涵,实质本原蕴涵

essential parameter 基本参数 | essential prime implicant 基本素蕴涵,实质本原蕴涵 | essential progressive atrophy of iris 原发性进行性虹膜萎缩

economic impacts:实质蕴涵

社区影响:Community impacts | 实质蕴涵:economic impacts | 生态后果:ecological impacts