离散数学 课程教案 编号： 理论课☑讨论课口实验课口 授课题目 1.7推理理论(1) 教学课型 习题课口实践课口其它口 授课时间 月日 学 时 1 固定座位教室☑移动座位教室口 智慧型互动教室☐ 教学场所 实验（实训）室口 校外实践基地口户外口 其它口 教材简析： 本节内容为第一章第七节-推理理论，也是本章最后一节内容，是对之前内容的升 华。前面内容的学习已经提供了命题符号化，逻辑运算等知识基础，而本节推理理论就 是利用已有的知识和方法进行应用，用以解决实际问题。 本节内容主要涉及推理证明必须遵循的推理定律与推理规则，推理定律与规则一共 有19条，相对较多。另外，推理证明涉及的常用方法又有多种，内容较多，综合程度 较大，根据教学大纲要求，在本节课中，学生识记并理解推理定律与推理规则，巩固真 值表法，等值演算法，主析取范式法，重点掌握构造证明法思路及应用。 推理理论证明过程的严谨性中蕴含着因果辩证关系，是开展课程思政的契机，通过 课程思政的开展，实现教学的德育目标。 学情分析： 本节课内容涉及重点内容：推理过程的证明，对学生逻辑思维能力要求较高，涉及 到问题解决的方法选择，学生虽然已具备所需的理论知识，但这些逻辑思维能力、判断 能力正是目前学生所缺乏的。学生对需要识记的知识较多，在教学过程中结合教学目标， 通过例举实例的推导，提高学生学习兴趣的同时，帮助学生理解记忆推理定律与推理规 则，积极培养学生的逻辑思维能力与对知识的综合应用能力。 另一方面，学生的世界观、人生观、价值观、人文精神仍然处于需要完善阶段。针 对这些情况，教学过程中将以推理理论证明的严谨性及其实际应用：即盗窃案的侦破为 切入点，充分挖掘思政素材，如因果辩证关系、欧美国家在没有实证的情况下污蔑新冠 肺炎起源我国武汉等新闻报道，开展课程思政，增强学生的学习积极性，同时学生能加 深对辩证唯物主义观点的理解，体验爱国主义情怀，提高民族自豪感、社会责任感等， 实现多重教学目标
离散数学 课程教案 编 号： 授 课 题 目 1.7 推理理论（1） 教学课型 理论课 讨论课□ 实验课□ 习题课□ 实践课□ 其 它□ 授课时间 月 日 学 时 1 教学场所 固定座位教室 移动座位教室□ 智慧型互动教室□ 实验(实训)室□ 校外实践基地□ 户外□ 其它□ 教材简析： 本节内容为第一章第七节-推理理论，也是本章最后一节内容，是对之前内容的升 华。前面内容的学习已经提供了命题符号化，逻辑运算等知识基础，而本节推理理论就 是利用已有的知识和方法进行应用，用以解决实际问题。 本节内容主要涉及推理证明必须遵循的推理定律与推理规则，推理定律与规则一共 有 19 条，相对较多。另外，推理证明涉及的常用方法又有多种，内容较多，综合程度 较大，根据教学大纲要求，在本节课中，学生识记并理解推理定律与推理规则，巩固真 值表法，等值演算法，主析取范式法，重点掌握构造证明法思路及应用。 推理理论证明过程的严谨性中蕴含着因果辩证关系，是开展课程思政的契机，通过 课程思政的开展，实现教学的德育目标。 学情分析： 本节课内容涉及重点内容：推理过程的证明，对学生逻辑思维能力要求较高，涉及 到问题解决的方法选择，学生虽然已具备所需的理论知识，但这些逻辑思维能力、判断 能力正是目前学生所缺乏的。学生对需要识记的知识较多，在教学过程中结合教学目标， 通过例举实例的推导，提高学生学习兴趣的同时，帮助学生理解记忆推理定律与推理规 则，积极培养学生的逻辑思维能力与对知识的综合应用能力。 另一方面，学生的世界观、人生观、价值观、人文精神仍然处于需要完善阶段。针 对这些情况，教学过程中将以推理理论证明的严谨性及其实际应用：即盗窃案的侦破为 切入点，充分挖掘思政素材，如因果辩证关系、欧美国家在没有实证的情况下污蔑新冠 肺炎起源我国武汉等新闻报道，开展课程思政，增强学生的学习积极性，同时学生能加 深对辩证唯物主义观点的理解，体验爱国主义情怀，提高民族自豪感、社会责任感等， 实现多重教学目标
考虑到少数学生对真值表法，等值演算法，主析取范式法进可能遗忘，所以安排 预习环节很重要，在学习通平台里设置好预习内容： 分别用真值表法，等值演算法，主析取范式法判断下列公式的真值： ①(p→q)A4 ②(p→q)Ag。 另外，考虑到部分学生对公式与定律的识记有难度，可在课后的学习时间里，利用 学习通平台群聊窗口开展抢答活动，帮助学生能尽快牢记相关公式。 教学目标： 一、知识目标： 1、通过对推理定义、推理形式的学习，能将需要证明的推理符号化，构造出正确的推 理形式。 2、通过对推理定律和规则的理解，识记每一条推理定律和规则 3、通过推理证明例题的学习和课堂练习，能独立应用推理定律和规侧完成推理的证明。 二、能力目标： 1、通过推理证明过程的思考与完成，增强逻辑思维能力和解决实际问题的能力。 2、通过推理证明方法的正确选择，提高探究能力和判断能力。 3、通过讨论和解答课后练习，增强知识运用能力和合作学习能力。 4、通过课前预习和课后阅读，课后作业完成，增强自学能力，提高学习自主性。 三、情感与价值目标 1、把握推理证明过程严谨性原则，加深对因果关系、事物发展必然性的理解，能辩证 的看待事情的结局，有因才有果，加强对辩证唯物主义观点的体会。 2、完成课堂练习盗窃案的侦破，增强自觉遵纪守法的法制意识。 3、观看我国应对新冠肺炎举措的相关资料，再次加深对推理过程的严谨性，和辩证因 果关系的理解。增强爱国情怀和民族自豪感，提升社会责任感，历史使命感，学会用实 际行动来践行社会主义核心价值观。 教学重点、难点： 重点：学生识记推理定律及推理规则：正确使用推理定律和推理规则完成推理证明。 难点：学生正确写出推理过程中每一步的推导依据，即结果发生了，原因是什么，或者 说这样做的依据是什么
考虑到少数学生对真值表法，等值演算法，主析取范式法进可能遗忘，所以安排好 预习环节很重要，在学习通平台里设置好预习内容： 分别用真值表法，等值演算法，主析取范式法判断下列公式的真值： ① ( ) p q q ② ( ) p q q 。 另外，考虑到部分学生对公式与定律的识记有难度，可在课后的学习时间里，利用 学习通平台群聊窗口开展抢答活动，帮助学生能尽快牢记相关公式。 教学目标： 一、 知识目标： 1、 通过对推理定义、推理形式的学习，能将需要证明的推理符号化，构造出正确的推 理形式。 2、 通过对推理定律和规则的理解，识记每一条推理定律和规则。 3、 通过推理证明例题的学习和课堂练习，能独立应用推理定律和规则完成推理的证明。 二、 能力目标： 1、 通过推理证明过程的思考与完成，增强逻辑思维能力和解决实际问题的能力。 2、 通过推理证明方法的正确选择，提高探究能力和判断能力。 3、 通过讨论和解答课后练习，增强知识运用能力和合作学习能力。 4、 通过课前预习和课后阅读，课后作业完成，增强自学能力，提高学习自主性。 三、情感与价值目标 1、把握推理证明过程严谨性原则，加深对因果关系、事物发展必然性的理解，能辩证 的看待事情的结局，有因才有果，加强对辩证唯物主义观点的体会。 2、完成课堂练习-盗窃案的侦破，增强自觉遵纪守法的法制意识。 3、观看我国应对新冠肺炎举措的相关资料，再次加深对推理过程的严谨性，和辩证因 果关系的理解。增强爱国情怀和民族自豪感，提升社会责任感，历史使命感，学会用实 际行动来践行社会主义核心价值观。 教学重点、难点： 重点：学生识记推理定律及推理规则；正确使用推理定律和推理规则完成推理证明。 难点：学生正确写出推理过程中每一步的推导依据，即结果发生了，原因是什么，或者 说这样做的依据是什么
课程思政： 1、课程思政素材： 1)推理定律和规则在推理证明中的应用，盗窃案侦破：唯物辩证法之因果联系的观点 2)视频资料：中国新冠肺炎取得胜利的原因：及图片资料 3课后复习使用素材：外国最怕中国的凝聚力网路视频 https://tv.sohu.com/v/dXMvMzM1OTQxODk0LzE4MjM0MzU3OC5zaHRtbA==.html. 4)备用素材：欧美国家在没有实证的情况下污蔑新冠肺炎起源我国武汉等新闻报道， 2、课程思政切入点： 1)案例引入环节：如何侦破盗窃案。 2)巩固练习环节-利用推理证明方法侦破盗窃案。 3、课程思政目标 1)通过思政素材1)中案例的探究，思考如何侦破盗窃案，增强法制意识。 2)通过思政素材1)中案例的解决，侦破盗窃案，加深对因果辩证关系的理解，明白 今天的努力是为了明天的收获的道理。 3)根据因果辩证关系，讨论我国抗疫成效显著的原因， 通过思政素材2)例举部分主 要原因，体验作为国人的自豪感，体现社会主义核心价值观最主要部分-爱国情怀， 增强热爱并自觉维护祖国的使命感。 4)课后观看视频，即素材3)，发表观后感，检验和巩固思政效果。 4、课程思政实施思路： ②案例引入之时，依托素材1)， 采取探究，启发等方法，实现思 政目标1) ③巩固练习之时，依托素材 1),采取启发，讨论等方法， ①钻研教材 实现思政目标2) 选定素材 思政素材 确定目标 思政目标 选择方法 ④依托素材3)，采取讨论， 情感体验等方法，实现思政 ⑤课后观看素材3)，发表观后感 目标3) 实现思政目标4)
课程思政： 1、课程思政素材： 1）推理定律和规则在推理证明中的应用，盗窃案侦破；唯物辩证法之因果联系的观点。 2）视频资料：中国新冠肺炎取得胜利的原因；及图片资料。 3 课后复习使用素材：外国最怕中国的凝聚力网路视频 https://tv.sohu.com/v/dXMvMzM1OTQxODk0LzE4MjM0MzU3OC5zaHRtbA==.html 。 4）备用素材：欧美国家在没有实证的情况下污蔑新冠肺炎起源我国武汉等新闻报道。 2、课程思政切入点： 1）案例引入环节：如何侦破盗窃案。 2）巩固练习环节-利用推理证明方法侦破盗窃案。 3、课程思政目标： 1） 通过思政素材 1）中案例的探究，思考如何侦破盗窃案，增强法制意识。 2） 通过思政素材 1）中案例的解决，侦破盗窃案，加深对因果辩证关系的理解，明白 今天的努力是为了明天的收获的道理。 3） 根据因果辩证关系，讨论我国抗疫成效显著的原因， 通过思政素材 2）例举部分主 要原因，体验作为国人的自豪感，体现社会主义核心价值观最主要部分-爱国情怀， 增强热爱并自觉维护祖国的使命感。 4） 课后观看视频，即素材 3），发表观后感，检验和巩固思政效果。 4、课程思政实施思路： ① 钻研教材 选定素材 确定目标 选择方法 ③巩固练习之时，依托素材 1），采取启发，讨论等方法， 实现思政目标 2） ④依托素材 3），采取讨论， 情感体验等方法，实现思政 目标 3） 思政素材 思政目标 ②案例引入之时，依托素材 1）， 采取探究，启发等方法，实现思 政目标 1） ⑤课后观看素材 3），发表观后感， 实现思政目标 4）
教学方式和手段： 基于对教材内容的分析和学情的分析，在各教学环节中，紧靠教学内容，为实现教学目 标，充分发挥学生在学习中的主体地位，将采取以下教学方式和教学手段： 教学方式：讲授、示范、启发、讨论、探究等方法相结合，线上线下混合式教学模式： 教学手段：将现代化教学工具如手机，电脑，投影仪等，学习平台如学习通，微师等 网络交流平台如QQ,微信等，传统教学工具如黑板等，教材及参考书籍等紧密结合。 教学过程设计： 主要教学环节： 推理定义及形式 巩周练 课堂 案例引入 新课 推理定律及规则 课程思政 讲授 来解洗 课程思政 米格 第一部分 30min 第二部分) 3min 3min 常用推理证明法 健神 8min 构造证明法 辩证的因果关系蕴含在推理证明过程当中，渗透整个教学环节 具体教学过程： 教学组织 教师活动 学生活动 设计意图 给出案例引导学生探时，引入新课内容 鼓励学生思考，自由 具 公安人员审查了一起重大盗窃珠宝案，己获得了以下 讨论，尝试案件的侦 线索： 探究 玻，激发学生的学习 案例引入 1)张三或者李四盗窃了珠宝： 思考 欲望，同时增强学生 (3分钟) 2)若李四的证词正确，则珠宝店午夜时灯管未灭 讨论 的法制意识。该案件 过 3)若张三盗窃了珠宝，则作案时间不可能发生在午夜 仅靠直观分析来侦破 有难度，顺利引入今 4)若李四的证词不正确，则作案时间发生在午夜前： 天新课内容-推理理 5)午夜时珠宝店的灯光灭了。 请问张三和李四谁该受到法律的制裁？
教学方式和手段： 基于对教材内容的分析和学情的分析，在各教学环节中，紧靠教学内容，为实现教学目 标，充分发挥学生在学习中的主体地位，将采取以下教学方式和教学手段： 教学方式：讲授、示范、启发、讨论、探究等方法相结合，线上线下混合式教学模式； 教学手段：将现代化教学工具如手机，电脑，投影仪等，学习平台如学习通，微师等， 网络交流平台如 QQ,微信等，传统教学工具如黑板等，教材及参考书籍等紧密结合。 教学过程设计： 主要教学环节： 具体教学过程： 具 体 教 学 过 程 教学组织 教师活动 学生活动 设计意图 案例引入 （3 分钟） 给出案例，引导学生探讨， 引入新课内容： 公安人员审查了一起重大盗窃珠宝案，已获得了以下 线索： 1）张三或者李四盗窃了珠宝； 2）若李四的证词正确，则珠宝店午夜时灯管未灭 3）若张三盗窃了珠宝，则作案时间不可能发生在午夜 前； 4）若李四的证词不正确，则作案时间发生在午夜前； 5）午夜时珠宝店的灯光灭了。 请问张三和李四谁该受到法律的制裁？ 探究 思考 讨论 鼓励学生思考，自由 讨论，尝试案件的侦 破，激发学生的学习 欲望，同时增强学生 的法制意识。该案件 仅靠直观分析来侦破 有难度，顺利引入今 天新课内容-推理理 论。 案例引入 (课程思政 第一部分) 3min 新课 讲授 30min 推理定义及形式 推理定律及规则 常用推理证明法 构造证明法 巩固练习 案例解决 (课程思政 第二部分) 8min 课堂 小结 3min 课堂 思考 作业 布置 1min 辩证的因果关系蕴含在推理证明过程当中，渗透整个教学环节
讲授，指导学生理解： 1、推理定义及形式 1.1定义1推理是从前提推出结论的思维过程。 理解推理定义： 在命避逻辑中，前提是已知的命题公式，结论是从前 掌操推理形式及推理 提出发应用推理规则推出的命题公式。 是否正确的判定 1.2推理的形式 形式1 AAAA....A一B 领悟 学会将一个推理用么 形式2前提：A,A2,,A 识记 式形式给出： 结论：B 6 若AAA人…AA一B是重言式，则称从前提A, A2,,A推出结论B推理正确，或称B是A A,,A的有效结论或逻细结论。 1.3定义2证明描述推理正确的过程 新授知识 提出问题，学生讨论： (30分钟) 命题逻辑中证明与中学数学中的证明的区别？ 归钠出命题逻辑中证 过 命题逻辑中证明侧重证明过程，对前提和结论是否为 思考 明与中学数学中的证 程 真命题没有要求，中学数学的证明已知条件和结论都 类比 明的区别，提高学生 是真命题。 归纳 的归纳思维能力。 设计例愿，指导学生找出解愿思略 师生合作共同探讨解 1.4例愿讲解 愿思路，归钠出一般 例1判断下面推理是否正确， 解题步骤，提高学生 ()若a能被4整除，则a能被2整除：a能被4整互动 学习合作能力和对妇 除。所以a能被2整除。 思考 识的理解能力，建士 ②)若a能被4整除，则a能被2整除：a能被2整给出结论 良好的师生关系 除。所以a能被2整除。 例举常见推理定神与推理规则，演示部分定律推导过
具 体 教 学 过 程 新授知识 (30 分钟) 讲授，指导学生理解： 1、推理定义及形式 1.1 定义 1 推理 是从前提推出结论的思维过程。 在命题逻辑中，前提是已知的命题公式，结论是从前 提出发应用推理规则推出的命题公式。 1.2 推理的形式 形式 1 A1∧A2∧…∧ Ak→B 形式 2 前提：A1，A2，…，Ak 结论： B 若 A1∧A2∧…∧ Ak→B 是重言式，则称从前提 A1， A2，…，Ak 推出结论 B 推理正确，或称 B 是 A1， A2，…，Ak 的有效结论或逻辑结论。 1.3 定义 2 证明 描述推理正确的过程。 提出问题，学生讨论： 命题逻辑中证明与中学数学中的证明的区别？ 命题逻辑中证明侧重证明过程，对前提和结论是否为 真命题没有要求，中学数学的证明已知条件和结论都 是真命题。 设计例题，指导学生找出解题思路 1.4 例题讲解 例 1 判断下面推理是否正确： (1) 若 a 能被 4 整除，则 a 能被 2 整除；a 能被 4 整 除。所以 a 能被 2 整除。 (2) 若 a 能被 4 整除，则 a 能被 2 整除；a 能被 2 整 除。所以 a 能被 2 整除。 例举常见推理定律与推理规则，演示部分定律推导过 领悟 识记 互动 思考 类比 归纳 互动 思考 给出结论 理解推理定义； 掌握推理形式及推理 是否正确的判定方 法； 学会将一个推理用公 式形式给出； 归纳出命题逻辑中证 明与中学数学中的证 明的区别，提高学生 的归纳思维能力。 师生合作共同探讨解 题思路，归纳出一般 解题步骤，提高学生 学习合作能力和对知 识的理解能力，建立 良好的师生关系
程，标注重点定禅，指导学生通过联想集合知识来识 记重点定律 2、推理定律与推理规则 2.1重要的推理定律 =(lvB) 附加律 (ANB)4 化简律 4→BM→B 假言推理 4→BB→ 拒取式 识记部分重要定律， MNBA-B→A 析农三段论 理解记亿推理规则， 4→BMBO三L4CO 假言三段论 掌握推理证明的基本 (+BN(BeC)=(oC) 等价三段论 领悟 工具，提高学习能》 (→BAC→D(AvC)(BvD) 构造性二难 模仿 具 1.2常用的推理规则： 识记 ()前提引入规则：在证明的任何步骤上，都可以引 联 新授知识 入前提。相当于已知条件的使用。 互动 学 (30分钟) 2)结论引入规则：在证明的任何步骤上，所得到的 结论均可作后续证明的前提加以引用。相当于推导的 程 结论使用。 (③)置换规则：在证明的任何步骤上，命题公式中的 任何子公式都可以用与之等值的公式置换。相当于等 量代换。 4)合取引入规则：A.BFAAB,相当于多个条件同时 使用。 设里问题：如何判断蕴含式的真值？ 思考 过推理证明方法的 问题转化：推莲证明方法有哪些 讨论 归钠，培养学生发 3、常用的推理证明方法 归纳 性思维能力 3.1等值演算法 即利用第一种定义通过演算(A1AA…AA一B
具 体 教 学 过 程 新授知识 (30 分钟) 程，标注重点定律，指导学生通过联想集合知识来识 记重点定律 2、推理定律与推理规则 2.1 重要的推理定律 A(AB) 附加律 (AB)A 化简律 (AB)A B 假言推理 (AB)B A 拒取式 (AB)B A 析取三段论 (AB)(BC) (AC) 假言三段论 (AB)(BC) (AC) 等价三段论 (AB)(CD)(AC) (BD) 构造性二难 1.2 常用的推理规则： (1) 前提引入规则： 在证明的任何步骤上，都可以引 入前提。相当于已知条件的使用。 (2) 结论引入规则： 在证明的任何步骤上，所得到的 结论均可作后续证明的前提加以引用。 相当于推导的 结论使用。 (3) 置换规则： 在证明的任何步骤上，命题公式中的 任何子公式都可以用与之等值的公式置换。相当于等 量代换。 4）合取引入规则：A,B╞A∧B。相当于多个条件同时 使用。 设置问题：如何判断蕴含式的真值？ 问题转化：推理证明方法有哪些？ 3、常用的推理证明方法 3.1 等值演算法 即利用第一种定义通过演算(A1∧A2∧…∧ Ak )→B， 领悟 模仿 识记 联想 互动 思考 讨论 归纳 识记部分重要定律， 理解记忆推理规则， 掌握推理证明的基本 工具，提高学习能力 通过推理证明方法的 归纳，培养学生发散 性思维能力
证明公式为重言式： 3.2真值表法 即利用第一种定义通过穷举(AA2A人A一B 所有取值判断公式永真： 3.3主析取花式法 即利用(AAA人AA)一B主析取范式判断是否 为永真式 任务设量：归纳上述三种方法的利鼻？ 合作 通过对三种方法优缺 学生讨论完戒。 点的对比和归纳，培 优持：可行性大： 归纳 养学生利用舞证的厨 弊端：真值表构造工作量非常大：等值演算法和主析 光看问愿，并激发学 取范式法演算繁琐。 生探讨新知的欲望 教 新授知识 引出新的证明方法学习的必要性， (30分钟) 讲授构造证明法的形式与证明的规巷板书，并指导学 生理解 聆听 鉴操证明的基本组成 构选正明法 互动 部分，培养学生严谨 41构造证明法一般形式： 的科学态度 前提：A,A2,,A 结论：B 42证明过程 一般由3列构成 第1列命愿公式序号 第2列 当前出现的命恩公式 第3列得到当前结论的理由 设合理计例题，引导学生思考证明思路，并对证明过 程进行规范化演示，散好半生榜样
具 体 教 学 过 程 新授知识 (30 分钟) 证明公式为重言式； 3.2 真值表法 即利用第一种定义通过穷举(A1∧A2∧…∧ Ak )→B 所有取值判断公式永真； 3.3 主析取范式法 即利用(A1∧A2∧…∧ Ak )→B 主析取范式判断是否 为永真式 任务设置：归纳上述三种方法的利弊？ 学生讨论完成。 优势：可行性大； 弊端：真值表构造工作量非常大；等值演算法和主析 取范式法演算繁琐。 引出新的证明方法学习的必要性。 讲授构造证明法的形式与证明的规范板书，并指导学 生理解 4、构造证明法 4.1 构造证明法一般形式： 前提:A1 ,A2 , …, Ak 结论: B 4.2 证明过程： 一般由 3 列构成 第 1 列 命题公式序号 第 2 列 当前出现的命题公式 第 3 列 得到当前结论的理由 设合理计例题，引导学生思考证明思路，并对证明过 程进行规范化演示，做好学生榜样 合作 类比 归纳 聆听 互动 领悟 通过对三种方法优缺 点的对比和归纳，培 养学生利用辩证的眼 光看问题，并激发学 生探讨新知的欲望 掌握证明的基本组成 部分，培养学生严谨 的科学态度
例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）若李四的证词不正确，则作案时间发生在午夜前； 思考 讨论 实践 通过实例的解决，巩 固所学知识，强化所 学知识应用，检验学 生学习效果，学生体 验到知识来源实际， 服务实际的魅力，提 高课程学习兴趣，并 且通过小组合作解决
5)午夜时珠宝店的灯光灭了. 实际问愿，提高团队 请问张三和李四谁该受到法律的制裁？ 合作能力，提生学生 李四是盗奇犯，应该受到法律的制裁。 获得感 引入思政素材，实旅课程思政 讨论 学生加深对因果辩证 观看视频：中国取得胜利的原因及图片资料。 关系的理解，学会将 组织讨论原因：我国新冠肺炎抗疫取得显著成效的原情感体验 马克思主义立场观店 因有哪些？文化原因，制度原因，国力原因 感受分享 方法应用到专业学习 组织学生谈感受：体验作为国人的自豪感和国人齐心误后反思 中去：学生通过了解 协力应对疫情的责任感。 我国对新冠肺炎的成 功应对措施和我国斗 前所处的国际形势 学习医生的敏业精神 和奉献精神，激发罗 国主义情感、精忠托 国的家国情怀，树立 过 勇于担当历史使命角的 责任感 最美 逝行有 组织学习通平台上完成课后思考：在当前抗疫形式下 我们应该做些什么？ 理本节所学重难知识，以填空形式给出，引导学生 回原，归纳 梳理本堂课知识 课堂小结 1、推理的形式为( )。 知识回顾 强调重点和难点， 3分钟) 、假言推理定律为( 知识归钠 提高知识总结与 3、拒取式定律为( 归纳能力
具 体 教 学 过 程 5）午夜时珠宝店的灯光灭了。 请问张三和李四谁该受到法律的制裁？ 李四是盗窃犯，应该受到法律的制裁。 引入思政素材，实施课程思政 观看视频：中国取得胜利的原因及图片资料。 组织讨论原因：我国新冠肺炎抗疫取得显著成效的原 因有哪些？文化原因，制度原因，国力原因 组织学生谈感受：体验作为国人的自豪感和国人齐心 协力应对疫情的责任感。 组织学习通平台上完成课后思考：在当前抗疫形式下 我们应该做些什么？ 讨论 思考 情感体验 感受分享 课后反思 实际问题，提高团队 合作能力，提生学生 获得感 学生加深对因果辩证 关系的理解，学会将 马克思主义立场观点 方法应用到专业学习 中去；学生通过了解 我国对新冠肺炎的成 功应对措施和我国当 前所处的国际形势， 学习医生的敬业精神 和奉献精神，激发爱 国主义情感、精忠报 国的家国情怀，树立 勇于担当历史使命的 责任感 课堂小结 (3 分钟) 梳理本节所学重难知识，以填空形式给出，引导学生 回顾，归纳 1、推理的形式为（ ）。 2、假言推理定律为 （ ）。 3、拒取式定律为 （ ）。 思考 知识回顾 知识归纳 梳理本堂课知识， 强调重点和难点， 提高知识总结与 归纳能力
4、析取三段论定律为( 5、常用的推理规测有( 6、构造证明法的证明形式分为一般()列，每一列 分别代表( 1、课后作业：学习通平台作业1.7推理理论（一）， 巩周新知与思政效 举 课后思考 注意区分选做题和必做题」 果，为下一节内容学 学 作业布里 2、观看视频：外国最怕中国人的凝聚力， 思考 习打好基础： 1分钟) https://tv.sohu.com/v/ 练习 提升学习课外阅读能 MzU3OC5zaHRtbA=-.html. 情感体验 力和自主学习能力， 谈谈观后感。 板书设计： 第1版 第2版 第3版活动板书 标题 构造证明形式 例题2证明分析博 常用推理定律 例题1证明板书 堂练习（即引入案 及推理规则 例推导) 参考资料： 1、欧美政客造大锅，待疫情后和中国“清算” https://baijiahao.baidu.com/s?id=1662674182343359140&wfr=spider&for-pc. 2、唯物辩证法之因果联系的观点http:/,23book.com/130000/128930.shtml 3、2020抗疫微党课视频 https://haokan.baidu.com/v?vid=13490187473974418032&pd=bih&fr=bjhauthor&type=vide 0 4、课后复习参考教学视频及课件：学习通相关课程-章节1.7 5、课后练习题参考答案：离散数学题解（第五版），耿素云主编，清华大学出版社。 教学后记： 教学评价： 本次课课堂气氛很活跃，同学们发言比较活跃，从上课师生互动情况和课堂巩固练 习完成情况来看，绝大部分学生对知识的掌握程度较好
具 体 教 学 过 程 4、析取三段论定律为 （ ）。 5、常用的推理规则有（ ）。 6、构造证明法的证明形式分为一般（ ）列，每一列 分别代表（ ） 课后思考 作业布置 (1 分钟) 1、课后作业：学习通平台作业 1.7 推理理论（一）， 注意区分选做题和必做题。 2、观看视频：外国最怕中国人的凝聚力。 https://tv.sohu.com/v/dXMvMzM1OTQxODk0LzE4MjM0 MzU3OC5zaHRtbA==.html。 谈谈观后感。 思考 练习 情感体验 巩固新知与思政效 果，为下一节内容学 习打好基础； 提升学习课外阅读能 力和自主学习能力。 板书设计： 参考资料： 1、 欧美政客造大锅，待疫情后和中国“清算” https://baijiahao.baidu.com/s?id=1662674182343359140&wfr=spider&for=pc。 2、唯物辩证法之因果联系的观点 http://www.23book.com/130000/128930.shtml 3、2020 抗疫微党课视频 https://haokan.baidu.com/v?vid=13490187473974418032&pd=bjh&fr=bjhauthor&type=vide o。 4、课后复习参考教学视频及课件：学习通相关课程--章节 1.7 5、课后练习题参考答案：离散数学题解（第五版），耿素云主编，清华大学出版社。 教学后记： 教学评价： 本次课课堂气氛很活跃，同学们发言比较活跃，从上课师生互动情况和课堂巩固练 习完成情况来看，绝大部分学生对知识的掌握程度较好。 第 1 版 标题 常用推理定律 及推理规则 第 2 版 构造证明形式 例题 1 证明板书 第 3 版 活动板书 例题2证明分析课 堂练习（即引入案 例推导）