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

A.所有S不是P

B.所有S是P

C.有S是P

D.有S不是P

正确答案：AB