以“所有P是M”、“所有S不是M”为大小前提进行三段论推理,可必然推出()
A:所有S不是P
B:所有S是P
C:有S是P
D:有S不是P
E:没有S不是P
出自:00024《普通逻辑》