命题

Thus, in a certain sense, it could be said that all propositions were generalizations of elementary propositions.

因此，在一定的意义上可以说，一切命题都是基本命题的概括。

This type of propositions is called primitive proposition because it cannot be broken down.

这种类型的命题被称为原始命题，因为它不能被分解。

And in fact only tautologies follow from a tautology.

当然，这种指明逻辑命题是重言式的方法，对于逻辑是完全不重要的，因为作为证明的出发点的那些命题，必定无须任何证明就表明自己是重言式。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

The theory of ∑-α-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metrology of logic introduced by professor G.J.Wang, and the theory of ∑Γ－fuzzy truth degrees of formula relative to the finite theory in propositional logic system n was introduced.

将模糊命题逻辑系统中的∑-理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑Γ－模糊真度理论，讨论了其中的主要性质。

Two complemented lattices L_1, L_2 are said to be of the same "type" if they have identical sets of tautologies.

一个具有最小元O及最大元I的格L，如果在其中又定义了一个单值的1元运算&′&能适合O′=I，I′'=O，则称L为一可补格，一个命题演算良构式A(设只含命题连接词A，V，～)，如果命它的变数在L中任意取值且将A，V，～分别解释为L中的运算∩，U，′时，A永远得到值I，则称A为L上的恒I式，当两个可补格L_1，L_2上的恒I式集相同时，称L_1，L_2为同型的，本文就是讨论可补格按同型关系分类的问题，所得结果如下：定理设有限可补格L_2适合条件：，存在一良构式A能使则任一可补格L_1与L_2同型的一个充分必要条件是：(A_1)。

Philosophy is not a theory but an activity.

哲学的结果不是一些&哲学命题&，而是使命题清楚。

Others are said to have redundant, but many also been a time when life is not to touch the East West gourd dipper touch, follow the crowd, and even Zhi Shen, away from reality, the choice of a road, only the prospect of dazzling, this is not a mathematical problem, Is not a chemical formula, but rather a philosophy of the proposition that this proposition, we have to read it out of it, and grasp the opportunity to grasp its own life big sail, to do my own life drivers.

其他说来也都是多余的，但众多人生又何曾不是东碰葫芦西碰瓢，随波逐流，甚至于沉乿，从实际出走，选择一条道路，才有光彩夺目的前景，这不是一个数学问题，更不是一个化学公式，而是一道哲学的命题，这一命题，我们要读懂它，摆脱它，把握机遇把握自己大人生船帆，做我自己的生命的驾驶者。

For geometrical propositions are one and all apodeictic, that is, are bound up with the consciousness of their necessity; for instance, that space has only three dimensions.

几何命题都是矛盾性证明的。因此这些命题取决于对他们必然性质的理解。比如空间的三纬性。

This deontic logic should be logic about normal propositions rather than logic ab...

但是 ，在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑，而不是规范的逻辑，在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。

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.

也许他们将在壶穴里消失