命题中的命题（Propositions from Propositions） 计算机程序中的命题逻辑（Propositional Logic in Computer Programs） .
基于4个网页-相关网页
这就是说，对同一对象，有两个相反的命题，甚至这两个相反的命题中的每一个都具有同样的必然性。
In other words it maintains two opposite propositions about the same object, and in such a way that each of them has to be maintained with equal necessity.
命题中包含命题意义的形式，但非其内容。
In the proposition the form of its sense is contained, but not its content.
汉语的否定句对应于逻辑上直言否定命题和复合命题中的负命题两种不同类型的命题。
Negative sentences in Chinese are corresponding to two kinds of different propositions in logic. They are categorical negative proposition and the negative proposition of compound proposition.
应用推荐