能直接反映三段论公理的推理形式有（）

能直接反映三段论公理的推理形式有（）
A.所有M是P，所有S是M，所以，所有S是P
B.所有M不是P，所有S是M，所以，所有S不是P
C.所有M是P，有些M是S，所以，有些S是P
D.所有M不是P，有些M是S，所以，有些S不是P
E.所有P不是M，有些S是M，所以，有些S不是P
正确答案：AB