[理学]离散数学 第一章：命题逻辑.pptVIP

山东经济学院统计与数学学院 离 散 数 学 教材与参考文献 参考文献 1)左孝凌、李为鑑、刘永才编. 离散数学. 上海科学技术文献出版社,2001. 2)Kenneth H.Rosen(美)，离散数学及应用（英文版，第五版）Discrete Mathematics and Its Applications. 机械工作出版社, 2002. 游戏2：逻辑学家的困境 一逻辑学家误入某部落，被囚于牢狱，酋长欲意放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。现从两个战士中选择一人负责解答你所提的任何一个问题（Y/N），其中一个天性诚实，一人说谎成性，今后生死任你选择。”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去。逻辑学家应如何发问？? 游戏3：哥尼斯堡七桥游戏 一条河中有一个小岛，连接岛与岸之间有7座桥（如下图），问是否可一次走遍，不许重复也不许遗漏． 游戏4：国王的遗嘱 从前有个国王，因担心自己死后五个儿子会因争夺土地而互相残杀，临终立下一条遗嘱并留下一个锦盒。遗嘱说：他死后请孩子们将国土划分为五个区域，每人一块，形状任意，但任一块区域必须与其它四块都相邻。如果在划分疆土时遇到困难，可以打开锦盒寻找答案。 国王死后，孩子们开始设法按照遗嘱划分国土，但绞尽脑汁，仍没能如愿划分。 通过该课程的学习，学生应当了解并掌握计算机科学中普遍采用的离散数学中的一些基本概念、基本思想、基本方法。 目 录 一. 命题 例1. 判断下列句子中哪些是命题。 2是素数。 雪是黑色的。 2+3=5. 明年10月1日是晴天。 3能被2整除。 这朵花多好看呀！ 明天下午有会吗？ 请关上门！ x+y5. 地球外的星球上也有人. 二、命题符号化 三. 复合命题及联结词 例2. 将下列命题符号化. (1) 3不是偶数。 (2) 2是素数和偶数。 (3) 林芳学过英语或日语。 (4) 如果角A和角B是对顶角，则角A等于角B. (5) 2+2=4当且仅当3是奇数。 5种联结词 (2) 合取联结词 (3)析取联结词 (4)蕴涵联结词 (5)等价联结词 3. 用联结词将命题符号化举例 例6. 将下列命题符号化. (1) 小王是游泳冠军或百米赛跑冠军. (2) 小王现在在宿舍或图书馆. (3) 选小王或小李中一人当班长. (4) 如果我上街,我就去图书馆看看,除非我很累. (5) 王一乐是计算机系的好学生.他生于1968或 1969年,他是三好学生. 1.2 命题公式及分类 知识要点 1. 命题公式 2. 命题公式的层次 3. 公式的赋值或解释 4. 真值表 5. 命题公式的分类 1. 命题公式 练习: 1. ( (p?q) ∧(p?r) ) ? p ?( q ∧ r) 2. ( p∧?q) ∨(?p∧ q) ? (p ∨ q) ∧ ?(p∧ q) 练习：判断下列公式的类型。 1、 ? (p?q) ∧ q 2、 ((p ∨ ? p) ? r) ? s 1.5 对偶与范式 知识要点 1. 对偶式 2: 范式 练习: 1.求下列命题公式的析取范式与合取范式 (P33 1.12) . 练习 3.求前面练习1中的命题公式的主合取范式 (P33 1.12) . 练习 3.求前面练习1中的命题公式的主合取范式 (P33 1.12) . 1.6 推理理论 一.推理的定义 二.判断推理正确的方法 例1.判断下面的推理是否正确. 证明: 三.构造证明法 1.推理定律(8条): 2.推理规则(11条): 例2.构造下列推理的证明. 例3.写出对应下面推理的证明: 练习： 3.用构造证明法进行推理的技巧 (1).附加前提证明法 例4.用附加前提证明法证明下面的推理. (2).归谬法 例5.构造下面推理的证明. 练习2： 前提：p ? ? q , ? r ∨q , r ∧ ? s 结论： ? p 真值表 成真赋值(对应二进制数) 对应十进制数(极小项的角码) 写出所有的极小项 主析取范式 以其为角码的极小项为: m1, m3 , m5, m6, m7 例3:试由 的真值表求它的主析取范式. 从而其主析取范式为: 解:由真值表可知, 原公式的成真赋值为: 001, 011, 101, 110, 111, 对应的十进制数: 1, 3, 5, 6,