颜色伙伴
a、出租车司机的下一批乘客是三对年轻人,司机把他们送到了迪斯科舞厅。其中的三位女孩分别穿着红、绿、蓝颜色的服装,男孩子们穿了同样三种颜色的套服。
b、当三对年轻人跳舞时,穿红衣服的男孩跳到穿绿衣服的女孩旁边跟她说话。
弗兰克说:“梅布尔,你看有多滑稽,我们当中没有一人跟与自己穿一样颜色衣服的舞伴跳舞。”
c、在你知道了这些情况后,你能推断出穿红衣服的女孩的舞伴穿什么颜色的衣服吗?
d、穿红衣服的男孩一定跟穿蓝衣服的女孩一起跳舞。因为那女孩不可能穿红衣服,否则他们就会是穿同样颜色的服装了。她也不可能穿绿衣服,因为当她和别人跳舞时,穿红衣服的男孩正跟穿绿衣服的女孩说话。
e、同样推理表明,穿绿衣服的女孩既不可能跟穿红衣服的男孩跳,也不可能跟穿绿衣服的男孩跳,所以,她一定是跟穿蓝衣服的男孩跳舞。
f、这样,只剩下穿红衣服的女孩和穿绿衣服的男孩了。因此,我们的问题也就迎刃而解了。不是吗?
颜色的相对位置
大多数人认为弄懂这道题并不容易。一个人在完全明白了每次陈述说明了什么之前,是难以出现这种直觉的。有一种好方法,能使所提供的信息更具条理,即分门别类地将它们填入下表的四方形方阵中。
图4-1
位于方阵左边的大写字母代表男孩子衣服的颜色:R=红色,G=绿色,B=蓝色;位于顶部的小写字母代表女孩的颜色。
我们知道在跳舞时没有任何女孩跟与自己穿同样衣服的男孩跳舞,这样,我们就能排除三种不可能的组合方式,即Rr、Gg和Bb。在相应的三个方格中,用阴影在方阵中表示出来。
图4-2
因为穿红衣服的男孩曾跳到穿绿衣服的女孩那边,我们由此可知他没跟穿绿衣服的女孩跳,这样又排除了Rg方格。现在R行中只剩下一个方格,说明穿红衣服的男孩一定和穿蓝衣服的女孩是一对。我们用勾在方格中表示出来。我们的图形现在是这样的:
图4-3
因为我们已经知道了穿蓝衣服的女孩和穿红衣服的男孩是一对,她不可能再跟其它任何男孩组合,因此,我们在Gb方格中划上阴影。这样,在第二行中只剩下Gr方格。也就说明了穿绿衣眼的男孩跟穿红衣服的女孩是一对,因此我们在与之相对应的方格中划上勾;
图4-4
因为穿红衣服的女孩跟穿绿衣服的男孩是一对,所以她不可能再跟其他男孩组合,我们在Br格中划上阴影。这样只剩下Bg格,划上勾表示穿蓝衣服的男孩和穿绿衣服的女孩是一对。我们的问题就都解决了(见下页图)。
图4-5
下面还有一些与之类似,但难度更大些的逻辑问题,不借助方阵图的帮助,几乎无人能解决。
保罗、约翰和乔治是三位滚石(一种音乐流派)明星,一位演奏吉他,一位是鼓手,另一位为钢琴演奏者。演奏项目并非是按人名顺序排列的。
鼓手打算雇佣吉他手制作一期录音,但通知吉他手时,吉他手正和钢琴手在城外演出。
1.钢琴手比鼓手挣的钱多;
2.乔治挣得比约翰少;
3.乔治从未听说过约翰;
4.三位明星分别使用什么乐器?
如果你绘制出3—3方阵图,并按前面所讲的方法去排除所有不可能的因素,这一切若做得很完美,你将得到如下的正确答案;保罗是吉他手,约翰是鼓手,乔治是钢琴手。
用这种图形解决逻辑问题,与用文恩图形解决形式逻辑问题的方法十分近似。这两种方法,都是通过逐渐排除“真实组合”中不可能的因素,使其只剩下唯一的正确组合这种方法来获得答案的。歇洛克·福尔摩斯曾在“四种证据”中对沃森说:“当你排除了所有不可能的因素后,无论留下的是什么,即使是不大可能发生的事,也一定是‘真正的答案’。”
下面这道题比前面的题更能引起兴趣,它将向你介绍一种重要的“相关联”的形式逻辑关系,此种关系的表述方式为:“如果………那么……”
住在同一公寓的四位女大学生,一边听音乐唱片,一边做着其他事情,即她们四人分别在修指甲、梳头发、化妆和看书。
1.迈拉既没修指甲,也没看书,
2.莫德既没化妆,也没修指甲;
3.如果迈拉没化妆,莫纳也没修指甲;
4.玛丽既没看书,也没修指甲;
5.莫纳既没看书,也没化妆;
她们每人分别在做什么?
你以四位女孩和四件事情绘制一个4—4方阵图应该不困难。根据声明1、2、4、5中的每一条件可排除二种不可能的因素。
声明3是结论性的阵述,它表明这样一种关系,即如果迈拉没化妆,那么莫纳也没修指甲。若A代表“如果”,B代表“那么”,“如果……那么……”这个条件关系告诉我们真实的A不能和不真实的B联合,同样我们也知道,若A是不真实的,则A和B就没什么实际意义了。
因此,由声明3可知道有三种具有实际意义的组合方式:
1、迈拉没有化妆,莫纳也没有修指甲
2.迈拉在化妆,莫纳却在修指甲
3.迈拉在化妆,莫纳在修指甲
根据声明1、2、4、5、提供的条件,用阴影划去被排除在外的八个方格,这样就排除了八种不可能的组合,再根据声明3,分别测试剩下的三种组合,得出的结论是其中两种产生逻辑矛盾,即两位女孩做同一件事。因此,只有一种组合即“迈拉在化妆,莫纳在修指甲”没有与其他声明冲突。最后的答案也就是:
迈拉在化妆
莫德在看书
玛丽在梳头发
莫纳在修指甲
彼得·斯坦格提出了一个更简短的答案:根据声明1、2、4、5所表明的情况,可知无论迈拉、莫德还是玛丽都没修指甲,因此,可得出莫纳定是修指甲的女孩。但这与声明3中“如果……那么……”条件关系的第二部分相矛盾,由此可推出第一部分必不是真实的。这样,迈拉在化妆,剩下的梳头发的女孩必是玛丽。
这类逻辑题并不难发明,你可以尝试着用自己的技巧亲自设计一道题。解题方法多种多样——代数技法、图表法、不同类型的逻辑图解法等等。或许你能发明一种跟以上这些方法同样好,甚至比其更好的方法。I