命题

基本解释 (translations)

proposition  ·  theses  ·  propositioned  ·  propositioning  ·  propositions  ·  theorems

词组短语

assign a topic · set a question

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

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.

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

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

atomic proposition：原子命题

容易看出,例2.1-1,例2.1-2中给出的是命题的陈述句都不能进一步分解,类似这种不能再分的命题,称为原子命题(Atomic Proposition)或简单命题,原子命题是命题逻辑中最基本,最小的单位.由作为原子命题的简单陈述句通过连词联结而成的命题,

categorical proposition：直言命题

在这里,我们不想对于这些规则逐条细究,而只想指出,这些规则背后的基本理念是关于四种直言命题(categorical proposition)的理论. 直言命题,即以主谓形式构成的命题,一般来说分为四种:全称肯定命题、全称否定命题、特称肯定命题和特称否定命题. 此外,

propositional coding theory：命题编码说 命题编码说

proposition 命题 | propositional coding theory 命题编码说 命题编码说 | propositional learning 命题学习

propositional coding theory：命题编码说

proposition 命题 | propositional coding theory 命题编码说 | propositional learning 命题学习

converse of a contrapositive：逆否命题的逆,否命题

converse-negative proposition 逆否命题 | converse of a contrapositive 逆否命题的逆,否命题 | converse of an implication 逆蕴涵,逆命题

propositional calculus：命题演算(又称"命题 辑

propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词

propositional connective：命题 结词

propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词 | propositional constant 命题常元,命题常项

propositional function：命题函词;命题函数

命题演算 propositional calculus | 命题函词;命题函数 propositional function | 命题推演 propositional inference

propositional function：命题函 ,命题函项

propositional formula 命题公式 | propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断

propositional inference：命题推演,命题推断

propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断 | propositional intermediate logic 命题中间 辑