命题

The great Karl Gauss on the other hand, had refused to tackle Fermat's Last Theorem, calling it "an isolated proposition with very little interest for me, because I could easily lay down a multiple of such propositions, which one could neither prove nor dispose of."

但另一方面，伟大的卡尔·高斯却不愿去处理费马大定理，称它是"一个孤立的命题，几乎吸引不了我的兴趣，因为我能轻易写出很多这样的命题，既不能证明也不能证伪。"

In this paper, a formula based on the proposition DNA algorithms, as well as operating results of the analysis and proved that that the next step of DNA computation formula of Proposition direction.

文中设计了一种基于命题公式的DNA算法，并对运行结果进行了分析与证明，指出了DNA计算中下一步命题公式的研究方向。

From the view of the general system theory, the proposition of the compensation mechanism is synonymous with social system equilibrium.

在一般系统理论的意义上，补偿机制命题和社会系统均衡命题是同一的。

Macroproposition : It is the general proposition used to form an overall macrostructure of the story.

宏观命题：它是用来形成故事总的宏观结构的一般命题。

But to transfer hastily and inconsiderately to the general point of view , propositions that are true of the individual, has been a source of innumerable errors in political economy.

但把对个人来说是正确的命题轻率地转变为普遍正确的命题，则是政治经济学中无数错误的根源。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

The computed results of aerodynamic characteristics meet the requirement of design, and verified the consistency between direct and inverse proposition design.

应用该方法，对大型变压器冷却风机进行了设计，设计计算结果符合设计要求，证实了正命题计算与反命题设计之间具有一致性。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

The principle of confirmation is the foundation stone of the theory of the logocal empiricism and the confirmation about similar proposition or heterogeneous proposition is the major difference between "the Raren Paradox" and logical empiricism.

证实原则是逻辑经验主义的理论基石，对同类命题还是异类命题的证实是"乌鸦悖论"与逻辑经验主义的主要区别。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失