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

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