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

以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出
A、所有S不是P
B、所有S是P
C、有S是P
D、有S不是P
E、没有S不是P
【正确答案】：AD
【题目解析】：【考点点击】本题考查的知识点是三段论。 【要点透析】由题干中给出的三段论前提形式 可推知该推理是三段论的第二格形式，由三段 论有效形式图表可知，第二格以A、E判断作为 大、小前提的有效形式分别为AEE或AEO,即 结论为SOP或SEP。因此答案为A、D〕。