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

土耳其商人和帽子的故事 这是著名物理学家爱因斯坦出过的一道题。 一个土耳其商人，想找一个十分聪明的助手协助他经商，有两个人前来应聘，这个商人为了试一试哪一个聪明些，就把两个人带进一间漆黑的屋子里，他打开电灯后：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的。现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在头上，在我开灯后，请你们尽快的说出自己头上戴的帽子是什么颜色的。”说完之后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把电灯打开，这时，那两个有应试者看到商人头上戴的是一顶红帽子，过了一会儿，其中一个人便喊到：“我戴的是黑帽子。”请问这个人猜得对吗？是怎么推导出来的？ 前面，我们提出了三种基本逻辑运算，可分别称为析取（∨）、合取（∧）和否定（┐）。还有两种运算：蕴涵运算（→）和等值运算（？）。可分别由表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，故此公式为重言式。普通逻辑中的各种复合推理形式，在命题逻辑中都可以表示为相应的真值形式，因此可以运用真值形式来反映一个推理的形式结构。在普通逻辑中常用图表示推理形式，用图表示可写成： 横线上为两个前提，横线以下是结论，前提和结论之间存在着蕴涵关系，用蕴涵式表达：蕴涵式的前件是各个前提的合取，后件则是结论，这样这个图式的蕴涵式是（P→Q）∧P→Q同时，相当于一个正确推理形式的蕴涵式还必须是一个重言式，但要注意，正确推理形式是不依赖于前提和结论的具体内容，只要蕴涵式总是真的，这个蕴涵式的真值，可由表2.4反映出来。从表中可见，只有在（P→Q）∧P为真的情况下，两个前提P→Q和P才都是真的。同时Q也是真的，前提真则结论必真。这个推理形式保证了从真的前提到真的结论的过度，因此是一个正确的推理形式。相反的，一个不正确的推理形式虽然也有一个相当的真值形式，但这样的真值形式都不是永真的，即不是一个重言的真值形式，如推理形式： 这种推理是错误的，与这种推理形式相当的蕴涵式是（P→Q）∧┐P→┐Q这个公式的真值形式的真值表是表2.5，显然此真值形式不是永真的。由此可知，每一个推理形式都相当于一个真值形式，正确的推理形式相当于一个重言式；不正确的推理形式虽然也有相应的真值形式，但它不是重言式，判别一个推理形式是否正确，就要判别其相当的蕴涵式是不是一个重言式，重言式是判别一个命题表达式推理形式是不是正确的有效公式。把命题逻辑的重言式组成一个公理系统就得到命题演算，而这就是命题逻辑的公理化，即从公理（初始命题的 重言式）出发，应用明确规定的推演规则，进而推出一系列重言式的演绎体系。由公理去推导出其余的重言式，还要有一定的变形规则，这主要有两条：代换规则和分离规则（又称蕴涵原则，即从A→B的真和A的真，可以推出B的真）。 现在我们来解本节一开始提出的问题。设P1表示“猜对的人戴红帽子”；P2表示“猜对的人戴黑帽子”；Q1表示“另一个人戴红帽子”；Q2表示“另一个人戴黑帽子”；R1表示“商人戴红帽子”。现在知道，商人头上戴的是红帽子，即R1为真，又知道另一个人没有作出断定，即既不能断定Q1为真，也不能断定Q2为真。根据题设条件，可得如下公式：R1∧P1→Q2：如果商人和猜对的人戴的都是红帽子，那么