法律逻辑学

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

题目

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