离散数学 第1章 命题逻辑.pdfVIP

离散数学 主讲教师：李向军（教授） 南昌大学软件学院 2018年9月 1 教材与教学参考书 教材： 离散数学，左孝凌、李为鑑、刘永才 编著 上海科学技术文献出版社, 2016.7 教学参考书： 1、离散数学理论.分析.题解，左孝凌、李为鑑、 刘永才编著，上海科学技术文献出版社, 2016.7 2、离散数学（第3版），屈婉玲、耿素云、张立 昂 主编，清华大学出版社，2014.1 3、离散数学习题解答与学习指导（第3版），屈 婉玲、耿素云、张立昂 主编，清华大学出版社， 2014.1 离散数学是现代数学的一个重要分支。是计算机科学 中基础理论的核心课程，为计算机科学提供了有力的理论 基础和工具。离散数学的基本思想、概念和方法广泛地渗 透到计算机科学与技术发展的各个领域，而且其基本理论 和研究成果更是全面而系统地影响和推动着其发展。 离散数学的内容十分丰富，最重要，最核心的是：数理 逻辑、集合论、代数系统、图论和计算机科学中的应用。 本课程将围绕这五个部分相关知识展开介绍。 数理逻辑：是用数学方法来研究推理的形式结构和推 理规律的数学学科，它与数学的其它分支、计算机科学、 人工智能、语言学等学科均有密切的联系。命题逻辑和一 阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中 应用最为广泛，其中命题逻辑是数理逻辑的最基础部分， 谓词逻辑是在它的基础上发展起来的。 本课程在第一，二两章中介绍数理逻辑中的命题逻辑 和一阶谓词逻辑的内容。 实例一：聪明助手问题  著名物理学家爱因斯坦出过如下一道题： 一个土耳其商人，想找一个十分聪明的助手协助他经商，有两个 人前来应聘。这个商人为了试一试哪一个聪明些，就把两个人带 进一间漆黑的屋子里，他打开电灯后说：“这张桌子上有五顶帽 子，两顶是红色的，三顶是黑色的。现在，我把灯关掉，而且把 帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在头上， 在我开灯后，请你们尽快地说出自己头上戴的帽子是什么颜色的 。”说完之后，商人将电灯关掉，然后三人都摸了一顶帽子戴在 头上，同时商人将余下的两顶帽子藏了起来接着把电灯打开，这 时那两个应试者看到商人头上戴的是一顶红帽子，过了一会儿， 其中一个人便喊到：“我戴的是黑帽子。” 请问这个人猜得对吗？是怎么推导出来的？ 答案：对的。 因为 只有两顶红帽子， 如果“我”看见对方戴的是红帽子，加上 商人戴的一顶，那么红帽子就没了，“我”肯定就知道自己戴的是黑帽子。 如果 看到对方是黑帽子，这时如果“我”是红帽子，那么他应该会立刻知道他自己戴 的什么帽子，现在他没有喊，那“我”一定戴的是黑帽子了。 实例一：聪明助手问题 【数理逻辑分析】： 设P 表示“猜对的人戴红帽子”；P 表示“猜对的人戴黑帽子”；Q 表示“ 1 2 1 另一个人戴红帽子”；Q 表示“另一个人戴黑帽子”；R 表示“商人戴红帽子” 2 1 。 现在知道，商人头上戴的是红帽子，即R 为真，又知道另一个人没有作 1 出断定，即既不能断定Q 为真，也不能断定Q 为真。 1 2 根据题设条件，可得如下公式： R ∧P →Q ：如果商人和猜对的人戴的都是红帽子，那么另一个戴的就是 1 1 2 黑帽子，因为红帽子只有两顶。 R ∧Q →P ：如果商人和另一个戴的都是红帽子，那么猜对的人戴的就是 1 1 2 黑帽子。 ┐P1 →P2 ：如果猜对的人戴的不是红帽子，那么他戴的就是黑帽子 ┐Q →Q ：如果另一个人戴的不是红帽子，那么他戴的就是黑帽子