必然p真，则可能p（）。

运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的（）

• A、肯定前件式
• B、肯定后件式
• C、否定前件式
• D、否定后件式

假期中，学校某学生宿舍楼剩下甲、乙、丙、丁四人留校。按规定，晚上最迟回来的同学锁上宿舍楼的大门。某晚宿舍楼的大门未锁上。第二天，宿舍管理员过来查问哪一个同学最迟回来。

甲说：“我回来的时候，丙正在洗衣服。”

乙说：“我回来的时候，丁已经睡了，我也就睡下了。”

丙说：“我进门的时候，乙正好上床睡觉。”

丁说：“我上床就睡着了，什么都不知道。”

如果这四位同学说得都是事实，那么（）

• A、甲最迟回来
  
  

• B、乙最迟回来
  
  

• C、丙最迟回来
  
  

• D、丁最迟回来