1.按照传统逻辑的推理规则，这二个题目都是正确的。
2.但是，按照现代谓词逻辑，这二个题目都是错误的。就是说，可以证明，它是无效推理。错误来源是: SAP换位为PIS是无效的推理规则。这二个题目，都用到了这个规则。

推理是成立的。换质位法和换位质法换得都好。不同的换法得到结果不一样。O命题就是换位极限。不必纠结。就如同(A＋B)C≠AB＋C，当然A≠B≠C≠0。这个比喻有点蹩脚，意思理解就行了！
PIS'→S'IP→S'OP'
PIS'→POS

吧主说得对！也许有的教材到这个章节就再不讲谓词逻辑了。那就只好就其阶段性知识来做题了。其实，该生还是喜欢探索问题的(跑题了)。

传统逻辑的直接推理规则里，按照现代逻辑看法，有些是无效的。
1.换质规则，四个仍是有效的。
2.换位规则，E命题I命题的换位仍有效。I命题仍然不能换位。但是，A命题的限制换位规则无效。
3.对当方阵里，矛盾关系仍然有效。差等关系和上下反对关系，都是无效的。