单项选择题

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

A.没有 S 不是 P
B.所有 S 是 P
C.有 S 是 P
D.有 S 不是 P