离散数学讲义(第1篇).pdf

趣味逻辑数学题－巧猜围棋子 离散数学讲义（电子版） 甲手里有一个围棋子，要乙来猜棋 Discrete Mathematics 子的颜色是白的还是黑的。条件是： 只允许乙问一个只能回答“是”或“否” 的问题，但甲可以说真话，也可以 说假话。问：乙可以向甲提出一个 什么问题，然后从甲回答“是”或“否” 天津财经大学信息科学与技术系 王宁 中就能判断出甲手中围棋子的颜 ninglw@163.com 色？ 2 趣味逻辑数学题－巧猜围棋子 趣味逻辑数学题－巧猜围棋子 答案 用数理逻辑学方法解题 乙问：“棋子是白的且你说了真话， 或者棋子是黑的且你说了假话，对 P表示：“棋子为白色” 吗？” Q表示：“ 甲说的是真话” 分析：棋子白：甲说真话： 是 数理逻辑运算符： ¬ （非），∧ （与），∨ （或） 甲说假话： 是 棋子黑：甲说真话： 否 问题答案：S=(P∧Q)∨(¬P∧¬Q) 甲说假话： 否 3 4 数理逻辑 数理逻辑是用数学方法来研究推理 第一篇 过程的科学。主要是指引进一套符 号体系的方法，因此数理逻辑一般 又叫符号逻辑。 数理逻辑 基本内容是：命题逻辑（演算）和 谓词逻辑（演算）。 5 6 1 第一章 命题逻辑 命题演算是数理逻辑的基本组成部分， 第一章 是谓词演算的基础。 本章包括以下内容： 命题逻辑