蕴涵

基本解释 (translations)

implications

与蕴涵相关的网络例句 [注：此内容来源于网络，仅供参考]

The study of lattice implication algebras On the basis of previous results of lattice implication algebras, we firstly studied some properties of implication filters, prime implication filters, maximal implication filters and ultrafilters. Then we laid stress on the study of two kinds of relatively general lattice implication algebras, i. e. complete and atomic lattice implication algebra and injective lattice implication algebra.

关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上，首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系，然后重点较系统地研究了两类覆盖面较广的格蕴涵代数：完备的且原子的格蕴涵代数和内射的格蕴涵代数。

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

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.

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

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.

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

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...

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

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.

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

Firstly, it studies the definition of implication and its classification, basing on this, deeply analyzes the relations between implication and the connective "if, then" universally used in our ordinary life. Then the article points out that implication is logical abstract to the connective "If, then" used in the natural language. However, because of different understanding and mastering to it, implication may have different classification, it can't be given a right definition. We must master it by all kinds of concrete implications. According to different criterion, implication has different categories. This article mainly discusses its classification from two sides: Ancient Greece and Medieval's and metalogic's.

首先，论文简要地考察了蕴涵概念的界定，指出蕴涵是对自然语言中连接词"如果，则"的逻辑抽象，而对它的意义的不同理解和把握，则可以有不同种类的蕴涵，不能笼而统之地对蕴涵下一定义，只有通过各种具体蕴涵去掌握有关蕴涵的理论；依据不同的分类标准，蕴涵可以有不同的类型，本文主要讨论古希腊及中世纪对蕴涵所作的分类及从记号学这一元逻辑的角度出发对蕴涵作的分类。

On the one hand, Implication paradox provides semantics grounding for two conditional inference principles; on the other hand, the discovery of implication paradox arouses logicians discussion to the implication theory and makes them put forward many new implication theories such as: strict implication -, relevant implication and etc., and promotes the development of the implication theory and makes implication theory step down mysterious palace, and gradually penetrates into many other concrete sciences.

一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。

与蕴涵相关的网络解释 [注：此内容来源于网络，仅供参考]

entailment：蕴涵

现代语义学的诞生是语言理论与逻辑理论"联姻"的结果,对语词语义、语句语义的解释、分析都大量引用了现代逻辑的方法和模型. "蕴涵"(entailment)便是被引用来对语句语义进行分析的一种逻辑方法. 本文尝试引鉴蕴涵理论,对汉语的语句语义进行探讨分析.

logical entailment：逻辑蕴涵

logical empiricism 逻辑经验主义 | logical entailment 逻辑蕴涵 | logical equation 逻辑方程

if then operation：蕴涵运算

若则逻辑 IF-THEN logic | 蕴涵运算 IF-THEN operation | 若则叙述 if-then statement

implicate：蕴涵

imperfect field 不完全域 | implicate 蕴涵 | implication 蕴涵

implication：蕴涵

离散中有永真式 P且Q蕴涵P "蕴涵"(implication)数学符号为"->". 可以像证明一个式子那样去理解语言的推理过程. 例子中的sequence,正是生成的树. sentence是根节点. 使用给定的文法,对输入语句进行分析找到一个文法分析树的过程,

implicative：蕴涵的

immediate successor 紧接后元,后继 | implicative 蕴涵的 | implicative formula 蕴涵公式

intuitionistic implication operators：直觉模糊蕴涵算子

中国农业对策:policy implication for China"s agriculture | 直觉模糊蕴涵算子:intuitionistic implication operators | 剩余格蕴涵代数:residuated lattice implication algebra

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

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

im plicative：蕴涵的

im mediate successor 紧接后元,后继 | im plicative 蕴涵的 | im plicative formula 蕴涵公式

im plicative formula：蕴涵公式

im plicative 蕴涵的 | im plicative formula 蕴涵公式 | im plicit 隐式的,隐的