蕴涵

The paper starts from the implication and emphasizes its functions in reasoning by illustrating the truth-value condition of material 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 naissance of material implication greatly produced many controversies,and the paradoxes of implication have always been the focus of those arguments.

实质蕴涵的提出引起学术界极大争议，"蕴涵怪论"一直是争论焦点之一。

"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为真

It is shown that sequences operations to implication distance in a normed lattice H implication algebra are bounded.

最后得到了在赋范格H蕴涵代数中的数列对于蕴涵距离是有界的结论。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

This thesis probes into the writing subject's cultural mental world to discover the track of its pursuing cultural ideal from the course of Shen Congwen's novel writing and his life, to dig and analyze the special culture reserved in his novel text, further to find the source of his cultural consciousness which he accepted and chose, and to reflect the plentitude and complicacy in the writing subject's cultural spiritual world , then to analyze its culture ideal and spirit implicated in the construction of the artistic world of Shen Congwen's novels ,finally to summary the meaning, value and confine of cultural writing of his novels.

本文从沈从文小说创作历程及其生命历程中探寻创作主体的文化心理和文化理想追求的轨迹；从小说文本中发掘、分析其独特的文化蕴涵；并进而对沈从文文化意识的接受和选择进行探源，从中揭示创作主体的文化精神世界的丰富性和复杂性；然后从沈从文小说艺术世界建构中分析其文化理想精神蕴涵；最后总结沈从文小说创作文化书写的意义、价值及局限。

The concepts of prime ideal and primary ideal are proposed in residuated lattice impliction algebras.

在剩余格蕴涵代数中，提出了素理想和准素思想的概念，证明了包含核的理想的格蕴涵同态像仍是理想，并研究了准素理想与素理想的性质。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。