以“所有P是M，所有S不是M”为大小前提，可必然推出：

以“所有P是M，所有S不是M”为大小前提，可必然推出：
A.所有S不是P
B.所有S是P
C.有S是P
D.有S不是P
正确答案：AB