离散数学103952.pptVIP

离散数学 陆 玫 mlu@math.tsinghua.edu.cn 第一章 命题逻辑 这章是以“命题”为中心 主要讨论： 命题的表示、命题的演算 命题演算中的公式，及其应用 命题逻辑推理 著名物理学家爱因斯坦出过的一道题： ?一个土耳其商人想找一个十分聪明的助手协助他经商，有 两人前去应聘，这个商人为了试试哪个更聪明些，就把两个 人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有 五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯 关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸 一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自 己头上戴的帽子是什么颜色的。”说完后，商人将电灯关 掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下 的两顶帽子藏了起来，接着把灯打开。这时，那两个应试 者看到商人头上戴的是一顶红帽子，其中一个人便喊道： “我戴的是黑帽子。”????请问这个人说得对吗？他是怎么推导出来的呢？ 要回答这样的问题，实际上就是看由一些诸如“商人 戴的是红帽子”这样的前提能否推出“猜出答案的应 试者戴的黑帽子”这样的结论来。这又需要经历如下 过程： ????(1) 什么是前提？有哪些前提？  ?(2) 结论是什么？ (3) 根据什么进行推理？ (4) 怎么进行推理？ 1-1. 命题与命题的真值 本节主要讨论三个