问题标题：
【请教直言推理大家都知道直言推理的限制换质位以下是限制换质位的推导过程：1、所有a不是b2、有些a不是b1蕴含3、有些a是非b2换质4、有些非b是a3换位5、有些非b不是非a4换质那么以】
问题描述：
请教直言推理
大家都知道直言推理的限制换质位
以下是限制换质位的推导过程：
1、所有a不是b
2、有些a不是b1蕴含
3、有些a是非b2换质
4、有些非b是a3换位
5、有些非b不是非a4换质
那么以下推理是否正确,书上没有这个推理过程,我觉得推理过程没错,但总觉得有点别扭
1、所有a不是b
2、所有b不是a1换位
3、有些b不是a2蕴含
4、有些b是非a3换质
5、有些非a是b4换位
6、有些非a不是非b5换质
如果错了,请指出来,谢谢
莫再峰回答：
没错
尚奕回答：
5、有些非b不是非a6、有些非a不是非b这两个命题是属于O的换位推理，不是有效推理。。。但是它们又是同一个命题（所有a是b）经过有效推理推导出来的。似乎矛盾吧
查看更多
