以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）

以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）
A.所有S不是P
B.所有S是P
C.有S是P
D.有S不是P
E.没有S不是P
正确答案：AD