用现代逻辑方法证明直言命题变形推理的有效性

Testifying the Validity of Metamorphose Illation of Categorical Judgement by Using Modern Logical Means

直言命题变形推理是否有效,引入现代逻辑CS系统可以对直言命题变形推理进行构造和证明。它改变了我们传统依赖变形推理规则考察变形推理能否成立的做法,丰富了形式逻辑的教学内容。同时,通过对CS系统的引入,能够证明A、O命题是可以进行同质等值换位的。

The traditional formal logic uses the principle of metamorphose illation to prove the effectiveness the metamorphose illation of the categorical judgement, which now can be constructed and testified by introducing CS system of modem logical means. The introduction of this system may not only change our reliance on the principle of metamorphose illation and enrich the teaching content of formal logic but also testify the transposition of proposition A and O with homogeneity and with equivalency.