与SOP具有矛盾关系的是（）

• A、SAP
• B、SEP
• C、SIP
• D、PES

课堂上,老师出了一道逻辑试题:有一个正确的三段论，它的小前提是肯定的，试问，这个三段论属于哪一格?

学生甲答:“属于第一格。因为如果它是第-格，那么小前提必然是肯定的;而这个三段论的小前提是肯定的;所以，它属于第一格。”

学生乙同意甲的意见，并补充了一点:“只有小前提是肯定的，才是第一格的正确三段论;现在小前提肯定;那它是第一格无疑了。”

以上学生甲和学生乙的回答（）

• A、都是合乎逻辑的
  
  

• B、都是不合乎逻辑的
  
  

• C、甲合乎逻辑,乙不合乎逻辑
  
  

• D、甲不合乎逻辑,乙合乎逻辑
  
  

试证明:结论是全称判断的有效三段论,其中项不能周延两次。