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