2) corresponding relation of proposition of character
性质命题的对当关系
1.
The corresponding relation of proposition of character will also be done as well.
对性质命题的定义、种类、性质命题与性质命题形式、性质命题的对当关系做了全新的研究和解释。
3) opposition of propositions
命题的对立关系
4) relation of hypothetical proposition types
与假言命题类型的关系
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) relation propositions
关系命题
1.
The paper introduces three key concepts of rhetoric structure theory,namely,spans,relations and relation propositions,and analyzes the original meaning and indicates some related subjects to be studied.
本文介绍了修辞结构理论中三个核心概念:结构段、关系、关系命题,分析了它们对于译者的应有之意,并指了今后可供研究的相关课题。
补充资料：直言命题的对当关系
传统逻辑关于直言命题之间真假关系的总称。设 S、P代表直言命题的主项和谓项的外延,S和P两类之间有且只有五种关系。这五种关系可用欧拉图解表明如下：在这五种情况下，SAP、SEP、SIP和SOP四种形式的直言命题的真假情况有如下表：由此表可知：①SAP与SEP不同真，可同假,这种真假关系叫做反对关系。②SAP与SOP、SEP与SIP不同真，不同假，这是矛盾关系。③SAP与SIP、SEP与SOP可同真,可同假，而且前者真时后者也真，后者真时前者不必真，这是差等关系。④SIP与SOP可同真，不同假，这是下反对关系。传统逻辑把这六对命题之间的四种真假关系总结成一个图形，叫做逻辑方阵：
传统逻辑由于不考虑空类和全类，因此在S和P都存在的假设下，对当关系是成立的。现代逻辑考虑到空类和全类,全称命题被分析为蕴涵命题,特称命题被分析为合取命题。因此,如果不假设S和P存在,则对当关系除矛盾关系外都不成立。如"凡大于2小于3的自然数都大于2"，"凡大于2小于3的自然数都不大于2"都真；"凡不接触细菌的人不得细菌性传染病"真，而"有不接触细菌的人不得细菌性传染病"假；"有神仙是长生不老的"和"有神仙不是长生不老的"都假。
传统逻辑由于不考虑空类和全类，因此在S和P都存在的假设下，对当关系是成立的。现代逻辑考虑到空类和全类,全称命题被分析为蕴涵命题,特称命题被分析为合取命题。因此,如果不假设S和P存在,则对当关系除矛盾关系外都不成立。如"凡大于2小于3的自然数都大于2"，"凡大于2小于3的自然数都不大于2"都真；"凡不接触细菌的人不得细菌性传染病"真，而"有不接触细菌的人不得细菌性传染病"假；"有神仙是长生不老的"和"有神仙不是长生不老的"都假。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条