以“所有P是M”、“所有S不是M”为大小前提,进行三段论推理,可必然推出()。
A:没有 S 不是 P
B:所有 S 是 P
C:有 S 是 P
D:有 S 不是 P
出自:哲学