“ SIP真或SOP真；SIP假，所以，SOP 真。”这一推理属于何种推理？是否正确？为什么？