請教直言推理大家都知道直言推理的限制換質位以下是限制換質位的推導過程： 1、所有a不是b 2、有些a不是b 1蘊含 3、有些a是非b 2換質 4、有些非b是a 3換位 5、有些非b不是非a 4換質那麽以下推理是否正確,書上沒有這個推理過程,我覺得推理過

請教直言推理
大家都知道直言推理的限制換質位
以下是限制換質位的推導過程：
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換質
如果錯了,請指出來,謝謝

網友廻答：