甲、乙、丙、丁是同班同学。

甲说:“我班同学考试都及格了。”

乙说:“丁考试没及格。”

丙说:“我班有人考试没及格。”

丁说:“乙考试也没及格。”

已知只有一个人说假话，则可推断以下哪项断定是真的（）

• A、说假话的是甲,乙考试没及格
  
  

• B、说假话的是丁,乙考试没及格
  
  

• C、说假话的是丙，丁考试没及格
  
  

• D、说假话的是乙，丙考试没及格
  
  

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

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

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