| 标题 | 案例教学法在《离散数学》命题逻辑教学中的应用 |
| 范文 | 李艳艳 高美平 摘 要：研究解决《离散数学》命题逻辑教学中发现的问题——课本例题虽然经典，但是趣味性不足、与实际生活联系不紧密，学生不能熟练应用知识解决问题。本文在查阅大量资料的基础上，收集整理适合有趣的案例，并将它们应用于课堂教学，从而达到增加学生学习兴趣和应用数学知识解决实际问题的目的。 关键词：案例教学法;离散数学;命题逻辑 中图分类号：O151.2 ?文献标识码：A 离散数学是数学与应用数学专业的一门专业必修课，涉及的主要内容之一就是用数学方法研究逻辑问题的命题逻辑，教学中占具三分之一的课时。从使用的教材发现，课本上所举的例子虽然很经典，但是缺乏与时俱进的趣味性，而且和实际生活的联系也不密切，这就导致了学生往往已将课本内容学得很熟悉，可却不会应用它们解决实际生活中的逻辑问题，对于知识的学习还停留在纸上谈兵阶段，违背了学习逻辑内容的本质，没有达到学以致用的效果。关于命题逻辑部分的教学，王国卿、吴群妹在文献[1]、文献[2]做了一定研究，本文从案例教学法的角度继续研究该问题。为了解决命题逻辑部分教学中不能理论联系实际的情况，本文在查阅大量资料的基础上，收集整理适合有趣的案例，并将它们应用于课堂教学，从而达到增加学生学习兴趣和应用数学知识解决实际问题的目的。命题逻辑部分的问题主要分为三部分：根据已知条件推断结论、增加条件推出结论和应用推理理论推出结论三种类型。解决的手段主要是等值演算和推理理论。下面对这三部分内容分别给出来源于实际生活的生动有趣的案例，在案例的解决过程中，达到学以致用、举一反三的目的。 1 根据已知条件推断结论 例1 红红、丹丹、阳阳、珍珍和慧慧是同一家公司的同事，因工作的需要，她们不能同时出席公司举办的新产品发布会。她们的出席情况是：（1）只有红红出席，丹丹、阳阳和珍珍才都出席;（2）红红不能出席;（3）如果丹丹不出席，阳阳也不出席;（4）如果阳阳不出席，慧慧也不出席;（5）已经决定慧慧出席发布会。 根据上述情况，可以推出（ ）。 A.丹丹出席发布会，阳阳和珍珍不出席发布会 B.珍珍出席发布会，丹丹和阳阳不出席发布会 C.阳阳和珍珍出席发布会，丹丹不出席发布会 D.丹丹和阳阳出席发布会，珍珍不出席发布会 解：命题符号化：设 p：红红出席，q：丹丹出席，r：阳阳出席，s：珍珍出席，t：慧慧出席，则出席情况为： （（q∧r∧s）→p）∧p∧（q→r）∧（r→t） 对上式等值演算，得： （（q∧r∧s）→p）∧p∧（q→r）∧（r→t） p∧q∧r∧s∧t 则得出红红、珍珍、慧慧不出席，丹丹、阳阳出席的结论，即答案为D。 例2 如果张三作案，那么李四一定是主犯;如果张三没作案，那么王五参与作案。如果李四不是主犯，那么王五没有参与作案。 由此可以推出以下哪项？（ ） 1.张三没作案 2.李四一定是主犯 3.李四不一定是主犯 4.王五参与作案 5.张三作案 解：命题符号化：设 p：张三作案，q：李四为主犯，r：王五参与作案，则已知事实为（p→q）∧（p→r）∧（q→r）。 （q→p）∧（p→r）∧（q→r）（q→r）∧（q→r）1 所以q的真值为0，那么q的真值就为1。从而推断李四一定为主犯，答案为B。 例3 小轩和小萌的妈妈买了一个精美的小蛋糕放在冰箱，早晨起床发现蛋糕不见了，经询问，两个小朋友都说自己没有吃。于是妈妈就充当警察，寻找偷吃蛋糕的小馋猫。已知事实如下：（1）小轩或小萌吃了蛋糕;（2）若小轩吃了蛋糕，则偷吃时间不能发生在午夜前;（3）若小萌说的正确，则午夜时屋里灯光未灭;（4）若小萌说的不正确，则偷吃时间发生在午夜之前;（5）午夜时屋里灯光灭了。 则，偷吃蛋糕的是（ ）。 解：命题符号化：设p：小轩偷吃了蛋糕;q：小萌偷吃了蛋糕;r：偷吃时间发生在午夜前;s：小萌说的正确;t：午夜时屋里灯光未灭。 根据妈妈已查明的事实，p∨q，p→r，s→t，s→r，t的值都为真，由此推出p或q。 下面寻找上述各式的合取式的成真赋值。 （p∨q）∧（p→r）∧（s→t）∧（s→r）∧（t） （p∨q）∧（p∨r）∧（s∨t）∧（s∨r）∧（t） （p∨q）∧（p∧s∧r∧t） （p∧s∧r∧t） 它的成真赋值是p=0，q=1，s=0，r=1，t=0，由此可知，小萌偷吃了蛋糕。 2 增加条件推出结论 例4 如果甲和乙考试都没及格的话，那么丙就一定及格了。上述前提再增加以下哪项，就可以推出“甲考试及格了”的结论。 1.丙及格了 2.乙和丙都没有及格 3.丙沒有及格 4.乙和丙都及格了 解：命题符号化：设p：甲考试及格，q：乙考试及格，r：丙考试及格，则命题为（p∧q）→r。 由等值演算知（p∧q）→r（r∧q）→p，所以再增加条件：当乙和丙考试都没有及格时，就可以推出甲考试及格了，因此选B。 例5 某高校外语教研室新招进五位外语老师，每位老师只教授一门外语，并且满足以下条件：（1）如果小钱教德语，那么小孙不教俄语;（2）或者小李教德语，或者小钱教德语;（3）如果小孙不教俄语，那么小赵不教法语;（4）或者小赵教法语，或者小周不教英语。 以下哪项如果为真，可以得出“小李教德语”的结论？ 1.小孙不教俄语 2.小钱教德语 3.小周教英语 4.小赵不教法语 解：命题符号化：设 p：小钱教德语，q：小孙教俄语，r：小李教德语，s：小孙教德语，t：小赵教法语，t：小周教英语，则题目满足条件为： （p→q）∧（p∨r）∧（q→t）∧（t∨n） 等值演算得： （p→q）∧（p∨r）∧（q→t）∧（t∨n）（t∨n）→r 故要得到小李教德语，只需增加小赵教法语或小周教英语就可以。则答案选C。 3 用推理理论推出结论 例6 已知：（1）如果甲和乙是肇事者，丙就不是肇事者;（2）如果丁是肇事者，那么乙就是肇事者;（3）甲和丙都是肇事者。 由此推出：（ ） A.乙和丁都是肇事者 B.乙和丁都不是肇事者 C.乙是肇事者，丁不是肇事者 D.乙不是肇事者，丁是肇事者 解：命题符号化：设 p：甲是肇事者，q：乙是肇事者，r：丙是肇事者，s：丁是肇事者。则已知前提为：（p∧q）→r，s→q，p∧r。 使用推理理论求解结论： ①（p∧q）→r 前提引入 ⑤ s→q 前提引入 ②（p∧r）→q ①置换 ⑥s ④⑤拒取式 ③p∧r 前提引入 ⑦q→s ⑤置换 ④q ②③假言推理 ⑧q∧s ④⑥假言推理 那么可知，乙和丁都不是肇事者，故B选项正确。 例7 如果阿根廷参加联盟，则巴西和智利将抵制联盟。如果巴西和智利有一国抵制联盟，那么联盟就会名存实亡。而联盟没有名存实亡。 从这段文字可以推出： A.巴西没有参加联盟;B.巴西参加联盟;C.智利和巴西至少有一国没有参加联盟;D.阿根廷没有参加联盟 解：命题符号化： 设 p：阿根廷参加联盟;q：巴西抵制联盟;r：智利抵制联盟;s：联盟名存实亡 则已知前提为：p→（q∧r），（p∨q）→s，s 使用推理理论求解结论： ①（p∨q）→s 前提引入 ?②s 前提引入 ③p∧q ①②拒取式 ④q ③化简 ⑤p→（q∧r） 前提引入 ⑥（p→q）∧（p→r） ⑤置换 ⑦p→q ⑥化简 ⑧p ④⑦拒取式 則得到结论阿根廷没有参加联盟，选D。 例8 如果今天星期三，则要进行线性代数或概率论期中测试。如果线代老师有会，则不考线代，线代老师有会。所以进行概率论期中测试。 解：命题符号化： 设p：今天星期三;q：进行线性代数期中测试;r：进行概率论期中测试;s：线代老师有会。 则已知前提为：p→（q∨r），s→q，p，s 结论：r 证明： ①p→（q∨r） 前提引入 ?②p 前提引入 ③ q∨r ①②假言推理 ④s→q 前提引入 ⑤s 前提引入 ⑥q ④⑤假言推理 ⑦ r ③⑥析取三段论 由以上证明知，进行概率论期中测试。 例9 如果小明是计算机类专业学生，他必学好离散数学。如果他不是计算机类专业学生，他必须是数学专业学生。他没学好离散数学。所以他是数学专业学生。 解：命题符号化：p：小明是计算机类专业学生;q：他学好离散数学;r：他是数学专业学生。 前提：p→q，r→p，q ①p→q 前提引入; ?②q 前提引入 ③p ①②拒取式 ④r→p 前提引入 ⑤r③④拒取 由上可知，他是数学专业学生。 4 结语 本文通过选用九个典型实际案例，让学生在解决案例的过程中达到熟悉、强化知识的目的，这样做不仅提高了学生学习的兴趣，也让学生进一步掌握数学来源于生活又服务于生活的本质。该教学法给原本枯燥乏味的数学课堂注入了活力，使学生觉得数学离自己的生活是那样近，在提高学生数学学习主动性的同时，也学会了用数学的眼光看待并解决问题。 参考文献： [1]王国卿.“离散数学”命题逻辑的教与学研究[J].无线互联科技，2019，8：151-152. [2]吴群妹.浅谈怎样学习离散数学中的命题逻辑[J].科技信息，2009，9：169-170. 基金项目：文山学院《高等代数》精品课程建设项目 作者简介：李艳艳（1982—），女，甘肃庆阳人，硕士，副教授，研究方向：矩阵理论及其应用、数值分析，大学数学教学。 |
| 随便看 |
|
科学优质学术资源、百科知识分享平台，免费提供知识科普、生活经验分享、中外学术论文、各类范文、学术文献、教学资料、学术期刊、会议、报纸、杂志、工具书等各类资源检索、在线阅读和软件app下载服务。