程，标注重点定禅，指导学生通过联想集合知识来识 记重点定律 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(AB) 附加律 (AB)A 化简律 (AB)A  B 假言推理 (AB)B  A 拒取式 (AB)B  A 析取三段论 (AB)(BC)  (AC) 假言三段论 (AB)(BC)  (AC) 等价三段论 (AB)(CD)(AC)  (BD) 构造性二难 1.2 常用的推理规则： (1) 前提引入规则： 在证明的任何步骤上，都可以引 入前提。相当于已知条件的使用。 (2) 结论引入规则： 在证明的任何步骤上，所得到的 结论均可作后续证明的前提加以引用。 相当于推导的 结论使用。 (3) 置换规则： 在证明的任何步骤上，命题公式中的 任何子公式都可以用与之等值的公式置换。相当于等 量代换。 4）合取引入规则：A,B╞A∧B。相当于多个条件同时 使用。 设置问题：如何判断蕴含式的真值？ 问题转化：推理证明方法有哪些？ 3、常用的推理证明方法 3.1 等值演算法 即利用第一种定义通过演算(A1∧A2∧…∧ Ak )→B， 领悟 模仿 识记 联想 互动 思考 讨论 归纳 识记部分重要定律， 理解记忆推理规则， 掌握推理证明的基本 工具，提高学习能力 通过推理证明方法的 归纳，培养学生发散 性思维能力