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