第1篇+命题逻辑.pdfVIP

电子科技大学离散数学课程组——国家精品课程 西北工业大学信息安全本科专业课程 离散数学 自动化学院 西北工业大学 信息安全系 2014 3月3 日星期一 1 西北工业大学信息安全本科专业课程 离散数学 第一篇 数理逻辑 先看著名物理学家爱因斯坦出过的一道题： 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人 前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间 漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是 红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置 弄乱，然后我们三个人每人 一顶帽子戴在自己头上，在我开灯后 ，请你们尽快说出自己头上戴帽子是什么颜色的。”说完后，商人 将电灯关掉，然后三人都 了一顶帽子戴在头上，同时商人将余下 的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商 人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽子 。” 请问这个人说得对吗？他是怎么推导出来的呢？ 2014/3/3 2 西北工业大学信息安全本科专业课程 离散数学 第一篇 数理逻辑 要回答这样的问题，实际上就是看由一些诸如 “ 商人戴的是红帽子”这样的前提能否推出“猜出 答案的应试者戴的是黑帽子”这样的结论来。这 又需要经历如下过程： (1) 什么是前提？有哪些前提？ (2) 结论是什么？ (3) 根据什么进行推理？ (4) 怎么进行推理？ 2014/3/3 3 西北工业大学信息安全本科专业课程 离散数学 第一篇 数理逻辑 数理逻辑 （Mathematical Logic） 是研究演绎推理的一门学科，用数学的 方法来研究推理的规律统称为数理逻辑。 2014/3/3 4 西北工业大学信息安全本科专业课程 离散数学 第一篇 数理逻辑 主要研究内容：推理 着重于推理过程是否正确 着重于语句之间的关系 主要研究方法：数学的方法 就是引进一套符号体系的方法，所 数 理逻辑又叫符号逻辑 （Symbolic Logic）。 2014/3/3 5 西北工业大学信息安全本科专业课程 离散数学 总结 什么是数理逻辑 ？ 用数学的方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制 2014/3/3 6 西北工业大学信息安全本科专业课