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

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

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

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

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

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

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

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

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

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

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

“因为p蕴涵q并且q蕴涵r,所以ρ蕴涵r。”这一推理式是（）

• A、对称关系推理
• B、禁对称关系推理
• C、传递关系推理
• D、禁传递关系推理