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

• A

  所有s不是P

• B

  所有s是P

• C

  有S是P

• D

  有S不是P

• E

  没有S不是P

　　---------------------------------

　　正确答案

　　A,D

　　---------------------------------

　　解析

本题考查的知识点是三段论的第二格形式。由题干中的给定条件可推知，该推理形式是三段论的第二格，由三段论有效形式图表可知，第二格以A、E作为大、小前提的有效形式分别为AEE或AEO，即结论为SEP或SOP。因此答案为AD，