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

摘要

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