下列推理形式有效的是（）。

下列推理形式有效的是（）。
A.SAP，所以，SIP
B.SIP，所以，SOP
C.SEP，所以，并非SOP
D.SOP，所以，并非SAP
正确答案：ACD