直言命题的同质等值换位推理

对于直言命题的变形推理,传统上认为A命题只能换位为I命题,O命题不能换位。但实际上通过欧拉图我们可以证明A、O命题是能够进行同质等值换位的。它符合传统的直言命题变形推理规则,只不过A、O命题换位以后的同质新命题的主谓项与原命题的主谓项具有矛盾关系。随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。

Reasoning of Homogeneous Equivalence Replacement of Categorical Proposition

As for the transformational reasoning of categorical proposition,it is traditionally thought that Proposition A can only be replaced by Proposition I,Proposition O cannot be substituted.However,in reality,with Eulerian graph,we can prove that Propositions A,O can be replaced homogeneously and equivalently,which accord with the rules of transformational reasoning of traditional categorical proposition,except that after the replacement there is a contradictory relation between the Subject-Predicate of the new homogenous proposition and the old one.With the confirmation of homogeneous replacement of Propositions A,O,the replacement of categorical proposition should be the reasoning of homogenous equivalence.