土耳其商人和帽子的故事(逻辑推导).pdfVIP

. 土耳其商人和帽子的故事 这是著名物理学家爱因斯坦出过的一道题。 一个土耳其商人， 想找一个十分聪明的助手协助他经商， 有两个人前来应 聘，这个商人为了试一试哪一个聪明些，就把两个人带进一间漆黑的屋子里， 他打开电灯后： “这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的。现 在，我把灯关掉， 而且把帽子摆的位置弄乱， 然后我们三个人每人摸一顶帽子 戴在头上，在我开灯后，请你们尽快的说出自己头上戴的帽子是什么颜色的。 ” 说完之后， 商人将电灯关掉， 然后三人都摸了一顶帽子戴在头上， 同时商人将 余下的两顶帽子藏了起来， 接着把电灯打开， 这时，那两个有应试者看到商人 头上戴的是一顶红帽子， 过了一会儿，其中一个人便喊到： “我戴的是黑帽子。 ” 请问这个人猜得对吗？是怎么推导出来的？ 前面，我们提出了三种基本逻辑运算，可分别称为析取（∨） 、合取（∧） 和否定（ ┐）。还有两种运算：蕴涵运算（ → ）和等值运算（？）。可分别由表 2.1 和表 2.2 来定义： 对于命题 P 与 Q， “若 P 则 Q”称为条件命题，记作 P→Q ，它的含义也规定为 复合命题 ┐P∨Q，即 P→Q=┐P ∨Q 。由真值表 2.1 可见：在条件命题中，如果 条件 P 为假（0 ），那么恒为真；如果条件 P 为真（ 1），那么的真假决定于结论 Q 的真假。 因为有定义， 所以 “P→Q”不是一种新的运算， 但由于 “若，则 ”的形式是人们常 用的语言，所以把它当作一种重要运算，在进行推理时常常是方便的。 如果命题恒真，即 P→Q=1 ，则称 P 蕴涵 Q，故也称 “→”蕴涵运算，当时，也 记成，这正是我们数学书上常遇到的情形。 P?Q 严格说，不是命题，而是 P 与 Q 之间的一种关系。 对于命题 P 和 Q，当且仅当命题 P 和 Q 真值相等时，称为等值（即 P 与 Q 同 真假），记为 P?Q。当 P?Q是真的，即 P?Q=1时，也称为恒真命题。 我们利用上述五种运算和数学上的括号， 可以构成各种符号序列， 我们称之为 公式，这里一切公式都应满足下述要求： （1）一切变项 P，Q，R，是公式； （2 ）如果 P，Q，R 是公式，那么？ P，PQ，PQ，PQ，PQ也是公式； （3 ）除由（ 1），（2 ）两条规则建立起来的符号序列外都不是公式。 在建立的公式中，真值联结词按照结合力由强到弱顺序排列为 ┐,∧, ∨, →,？：。 任何公式（复合命题）都有相应的真值形式。无论公式 P，Q 的真值如何，其 组成的最后公式始终得到真的值， 这样的真值形式叫做重言式的真值形式， 简 称重言式。比如公式（ P→Q ）?┐ （P∧┐Q ）。它的真值表如表 2.3，故此公式 为重言式。 普通逻辑中的各种复合推理形式，在命题逻辑中都可以表示为相应的真值形 式，因此可以运用真值形式来反映一个推理的形式结构。 在普通逻辑中常用图 表示推理形式，用图表示可写成： 横线上为两个前提， 横线以下是结论，