1. (2023高二下·宁波期末) “如果明天上午不下雨，高二年级的同学们就去参加研学活动，高二年级的同学们没有去参加研学活动，所以第二天上午下雨了。”这个推理（ ）

①是充要条件假言推理

②是充分条件假言推理

③无效，否定后件不能推出否定前件

④正确，否定后件就能推出否定前件