Question

用数理逻辑的方法判断下面推理是否正确如果我努力学习,那我能通过考试;我没有通过考试,所以我没努力学习

Answer 1

正确，这是一个充分条件假言推理的否定后件式，为有效式。