例2构造下列推理的证明： 思考 体验证明过程的严谨 前提：pVg,p一一，s4,一5→r,一1 性，把程证明步骤中 结论：q 9 的因果关系 证明：(1)5一 前提引入 (2)-1 前提引入 (3)s (1)(2)拒取式 (4)s-r 前提引入 (5) (3)(4)假言推理 (6)p→一r 前提引入 (7)P (5)(6)拒取式 (8)pVq 前提引入 (9)9 (7)(8)析取三段论 具 证毕。 体 教 新授知识 为了巩推理证明过程，给出推理证明的常见形式， 思考 巩固推理证明过程， 学(30分钟) 设计以下例题，指导学生给出推导思略，并由学生卷讨论 突出本节内容重点和 立完成证明， 练习 难点，熟悉推理定律 程 例3用构造证明法构造下面推理的证明： 推理规则的灵活 若明天是星期一或星期三，我就有课。若有误，今天 用，提高学生的知识 必备课，我今天下午没备课。所以，说明天是星期 应用能力 或星期三是不对的. 回归到新课引入时案例解决，学生小组讨论完成，教 师散室巡视，给出个别指导，实现因材村施教 通过实侧的解决，巩 课堂练习 公安人员审查了一起重大盗窃珠宝案，己获得了以下思考 固所学知识，强化所 课程思政 讨论 学知识应用，检验 (8分钟) 1)张三或者李四盗窃了珠宝： 实践 生学习效果，学生体 2)若李四的证词正确，则珠宝店午夜时灯管未灭 验到知识来源实际， 3)若张三盗窃了珠宝，则作案时不可能发生在午传 服务实际的魅力，提 高课程学习兴趣，并 4)若李四的证词不正确，则作案时间发生在午夜前： 且通过小组合作解决 具 体 教 学 过 程 新授知识 (30 分钟) 例 2 构造下列推理的证明： 前提： p∨q，p →﹁ r，s→t，﹁s→r，﹁ t 结论： q 证明：（1） s →t 前提引入 （2）﹁ t 前提引入 （3）﹁ s （1）（2）拒取式 （4）﹁ s →r 前提引入 （5） r （3）（4）假言推理 （6） p →﹁ r 前提引入 （7）﹁ p （5）（6）拒取式 （8） p∨q 前提引入 （9） q （7）（8）析取三段论 证毕。 为了巩固推理证明过程，给出推理证明的常见形式， 设计以下例题，指导学生给出推导思路，并由学生独 立完成证明。 例 3 用构造证明法构造下面推理的证明： 若明天是星期一或星期三，我就有课. 若有课，今天 必备课. 我今天下午没备课. 所以，说明天是星期一 或星期三是不对的. 思考 互动 模仿 思考 讨论 练习 体验证明过程的严谨 性，把握证明步骤中 的因果关系 巩固推理证明过程， 突出本节内容重点和 难点，熟悉推理定律、 推理规则的灵活使 用，提高学生的知识 应用能力 课堂练习 课程思政 (8 分钟) 回归到新课引入时案例解决，学生小组讨论完成，教 师教室巡视，给出个别指导，实现因材施教 公安人员审查了一起重大盗窃珠宝案，已获得了以下 线索： 1）张三或者李四盗窃了珠宝； 2）若李四的证词正确，则珠宝店午夜时灯管未灭 3）若张三盗窃了珠宝，则作案时间不可能发生在午夜 前； 4）若李四的证词不正确，则作案时间发生在午夜前； 思考 讨论 实践 通过实例的解决，巩 固所学知识，强化所 学知识应用，检验学 生学习效果，学生体 验到知识来源实际， 服务实际的魅力，提 高课程学习兴趣，并 且通过小组合作解决