多项选择题

以“所有P是M,所有S不是M”为前提进行三段论推理,可必然推出()。

A.SEP
B.SAP
C.SIP
D.SOP
E.没有S不是P