命题

On the basis of investigating analytic proposition and synthetic proposition, the paper gives some comments on Quine's critique on distinction of the two propositions, illustrating that Quine's critique cannot deny their distinction and only show they are two typical fuzzy conceptions, so we should grasp the dialectical mechanism of their relative distinction and inter-permeation by fuzzy thinking methods.

在考察分析命题与综合命题的基础上，对奎因分析命题与综合命题之区分的批判进行了评述，说明奎因的批判并不能否认分析命题与综合命题的区分，而只是表明了"分析命题"与"综合命题"是两个典型的模糊概念，因而需要运用模糊思维方法去把握它们既相对区分又相互贯通的辩证机理。

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

For the moral grounds of the thesis of self-ownership in intuitional level, Cohen argues that the moral intuition of aversion to slavery gives no cause for more criticism, but it can't follow that rejection of the thesis of self-ownership is tantamount to endorsement of slavery. And the moral intuition of not permitting others'deploying any part of one's own body by coersion can't motivate moral agents to identify the thesis of self-ownership. For the moral grounds of the thesis of self-ownership in theoretical level, Cohen argues that rejection of the thesis of self-ownership is neither tantamount to endorsement of treating people as means rather than as ends, nor tantamount to endorsement of threatening human autonomy.

就自我所有命题在直觉层面的道德依据，柯亨论证道，厌恶奴隶制这种道德直觉本无可厚非，但并不能据此得出拒绝自我所有命题就意味着对奴隶制的认可这个结论，而不允许他人强制使用自己身体的任一部分这种道德直觉，也不足以使道德主体去认同自我所有命题；就自我所有命题在理论层面的道德依据，柯亨论证道，拒绝自我所有命题不仅不意味着以手段而非目的来对待人们，而且也不意味着对人类自主的限制。

To see this note that the contrapositive is false only when is false and is true.that is only when p is true and q is false.we now show that neither the converse ,,nor the inverse ,has the same truth value as for all possible truth values of p and q.

当两个复合命题含有相同的真值的时候，我们称之为等价命题，（为什么是复合命题因为如果不是符合命题的话那么就是同一个命题了。

In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition .

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从"真假决说"角度来定义复合命题：复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题

The schema composed by a group of equivalent propositions was said to proposition field.

与一个命题等价的命题集的图式叫做这个命题的命题域。

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of proposition

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I 命题的换位一样，O 命题的换位也是有其一般意义的

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of pr...

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样，O命题的换位也是有其一般意义的

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

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.

也许他们将在壶穴里消失