离散数学拾趣（二）：逻辑难题

Raymond Smullyan与岛屿居民难题

Raymond Smullyan是美国的数学家和逻辑学家，他写过多本与逻辑难题的书。其中的一类题目是，通过逻辑推理确定给定的几个岛屿居民的身份。看下面两题。

Q1（1.1例15）：一个岛上居住着两类人——骑士和流氓。骑士说的都是真话，而流氓总是说谎。现在碰到了两个人A和B，如果A说“B是骑士”，B说“我们两人不是一类人”。请判断A、B两人到底是骑士还是流氓。

解：每个人要么是骑士，要么是流氓，可以分别假设A是骑士或流氓，然后看是否与题中给出的条件一致。

假设A是骑士，那么他说的是真话，则B也是骑士，那么B也应当说真话，但B所说的并非如此，所以A不是骑士。

假设A是流氓，那么他说的是谎话，则B也是流氓，那么B也应当说谎话，与题目所给的条件一致，所以A和B都是流氓。

在本题中，A和B都有可能是两种身份，那总共有2*2种可能的情况，较为简单。再来看下面更复杂一点儿的题目。

Q2（补充练习题9）：

假定在一个岛上住着三类人：骑士、流氓和普通人。骑士总是说真话，流氓总是说假话，普通人说话亦真亦假。侦探为了找出罪犯，询问了岛上的三个人Amy、Brenda和Claire。侦探知道三人中有一个是罪