1) assertion
[英][ə'sɜ:ʃn] [美][ə'sɝʃən]
命题;断言
2) absolute proposition
定言命题; 直言判断
3) assertion-level logic
断言级逻辑，命题逻辑
5) categorical proposition
直言命题
1.
This paper carries out full analysis on Aristotle s theory on categorical proposition and points out that he introduced,for the first time in logic history,term variable,established opposition matrix,and laid basis for syllogism.
对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础。
2.
Matching up to the three indispensable conditions to conversion inference of categorical proposition in traditional logic is in fact proved to be the restriction of interrelation between lexical items that the conversion inference concerns, as is visually cleared by Eulerian graph.
直言命题换位推理应当同时满足的三个条件实际上是对此变形推理所涉及的词项关系的制约,欧拉图可以很直观地反映这一点。
3.
Is it universally adequate that the reasoning rule "if a term is not distributive in the premise, it is still not in the conclusion" in the reasoning consisting of categorical propositions? This is a question that has not been resolved in logic.
"在前提中不周延的项,在结论中仍不得周延"这条推理规则在由直言命题组成的推理中是否普遍适用?这是一个在逻辑学中尚未得到解决的问题。
6) disjunctive proposition
选言命题
1.
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.
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题 ,有不同的观点。
补充资料：命题
在现代哲学、逻辑学、语言学中，命题（Proposition）是指一个判断的语义，而不是判断本身。当不同的判断具有相同的语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是不同的判断，但它们表达的命题是相同的。同一种语言的两个不同的判断也可能表达相同的命题。例如，刚才的命题也可以说成冰的小结晶是白的，当然，这种说法不如上一种说法好。
通常，命题是指闭判断，以区别于开判断，或谓词。在这种情况下，命题不是真的就是假的。哲学学派逻辑实证主义支持这一命题的概念。
一些哲学家，诸如约翰·希尔勒，认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它，例如，在当老师请学生对某个引用发表意见的时候，这个引用就是一个命题（即它有语义）而这个老师并没有判定它。在上一段中，只给出了命题雪是白的，但没有判定它。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条