四大家族十一道经典，每道都摊开解——不只给答案，还给打开它的那一步，和多数人掉进去的那个坑。
好的逻辑谜题从不考你知道什么——你需要的每个事实都躺在题面里。它考的是压榨这些事实的纪律：假设然后找矛盾、快速排除、把别人的沉默也当成信息。
下面十一道题是四个家族的经典：真话者与说谎者、排除与排序、过河与量水、以及建立在沉默推断上的帽子谜题。每个家族开头先讲破它的那一种方法，每道题最后都有完整的分步解——包括那些诱人的错误选项为什么错。
每道先自己试，再看解法。重点不在做对，在于抓住你的推理想走非法捷径的那个瞬间。
这一族谜题全靠一台引擎驱动：先假设，再找矛盾。随便挑一个说话的人，假设他说真话，把后果推到底；一旦撞上矛盾，他就是说谎者，而他说过的每句话都翻转为假。进阶的一步是意识到说谎者的回答仍然是信息——稳定的错误可以被反转，著名的双门谜题利用的正是这一点。
通常怎么问：「骑士与骗子」·「一个守卫永远说谎」·「到底谁在说真话？」
第 1 题
在一座岛上，每个人要么永远说谎、要么永远说真话。A 宣布：「我们俩都是说谎者。」A 和 B 各是什么人？
答案：A. A 是说谎者，B 说真话
🐱 假设 A 说真话。那「我们俩都是说谎者」为真，A 自己就成了说谎者——矛盾。所以 A 是说谎者，这句话为假：他们不是都说谎。A 已经占了一个说谎者名额，「为假」只能落在 B 头上——B 说真话。注意发生了什么：一句话钉死了两个人，因为自指的谎言仍然是约束。
第 2 题
岛上三个人。A 说：「B 是说谎者。」B 说：「C 是说谎者。」C 说：「A 和 B 都是说谎者。」谁说真话？
答案：A. 只有 B
🐱 先试 C，因为 C 的断言最大、最容易崩。若 C 说真话，A、B 都说谎——可那样 A 的「B 是说谎者」就是假话，B 反而成了真话者，矛盾。所以 C 说谎。于是 B 的「C 是说谎者」为真——B 说真话。于是 A 的「B 是说谎者」为假——A 说谎。回头核对：C 声称 A、B 都说谎，实际只有 A 说谎，C 的话确实为假，全部闭合。从最大的断言下手是通用技巧：话说得越满，崩得越快。
第 3 题
两扇门：一扇通向出口，一扇不是。两个守卫：一个永远说谎，一个永远说真话——你不知道谁是谁。你只能向其中一个守卫问一个问题。问什么？
答案：A. 「如果我问另一个守卫哪扇门通向出口，他会指哪扇？」——然后走另一扇
🐱 让你的问题一次穿过两个守卫。问到真话者，他如实转述说谎者的错误答案；问到说谎者，他把真话者的正确答案说反。无论问到谁，被指的都是错的那扇门——走另一扇即可。落选的问法共享同一个缺陷：答案的含义取决于你碰巧问到了谁。而正确的问法被设计成两种可能的回答者输出完全相同、且可解码。稳定的错误，胜过未知的真相。
这类就是大家说的「逻辑网格谜题」：几个类别、几条线索、一种自洽的分配。工作方法是画表——列出候选，按线索划掉被禁止的组合，看着被逼出来的着法浮现。两个习惯最要紧：把每条线索的否定含义也榨出来（「红房子挨着蓝房子」同时意味着红房子不能在某些位置）；每当钉死一个新事实，就回头重扫旧线索——旧线索会长出新牙。
通常怎么问：「谁喝什么？」·「哪栋房子在哪？」· 迷你网格谜题
第 4 题
安、本、卡拉三人各喝咖啡、茶、果汁中的一种。安和卡拉都不喝茶。卡拉从不碰咖啡。谁喝什么？
答案：A. 安喝咖啡，本喝茶，卡拉喝果汁
🐱 线索一一次划掉三个喝茶候选中的两个——茶只能是本的。线索二从卡拉那里划掉咖啡，而本已被占用，咖啡归安；果汁按排除法落到卡拉。这道题小，道理不小：点名两个人的线索强于点名一个人的——排除类谜题，谁删得快谁赢。
第 5 题
四栋房子排成一排（从左到右位置 1-4），分别漆成红、蓝、绿、黄。红房子紧挨在蓝房子左边。绿房子不在两端。黄房子在红房子左边的某个位置。顺序是什么？
答案：A. 黄、绿、红、蓝
🐱 红蓝是粘在一起的一对：可放 (1,2)、(2,3)、(3,4)。黄必须在红左边，杀掉 (1,2)。试 (2,3)：绿必须占 2 或 3——都被占了，死路。所以红蓝占 (3,4)，绿只能是 2，黄落到 1。一遍推完，不用猜——注意「不在两端」这条线索在红蓝落位之前毫无作用，落位之后瞬间终结全局。线索按谜题决定的顺序发力，不按题面给出的顺序。
第 6 题
有人如实说道：「前天我还是 25 岁。明年我就 28 了。」这怎么可能？
答案：A. 说话时是 1 月 1 日，而他的生日是 12 月 31 日
🐱 把这句话放在 1 月 1 日、生日 12 月 31 日：前天（12 月 30 日）他还是 25 岁；12 月 31 日他满了 26；今年年内他将满 27，明年满 28。两天的窗口里出现四个年龄，毫无矛盾。陷阱在于把「明年」从今天起算，而不是按日历年起算——日期谜题几乎全在考每个词悄悄使用的参照系。
流程谜题要的是一串受约束的操作。所有这类题的万能钥匙是同一把：那个看起来浪费的动作——把东西带回去、倒掉刚灌满的水、「浪费」一次称量——通常正是这道题存在的意义。如果你的方案从不后退而你卡住了，缺的就是那步后退。
通常怎么问：「狼、羊、白菜」·「用 3 升和 5 升量出 4 升」·「找出不一样的球」
第 7 题
农夫要把狼、羊、白菜运过河。船上只能载农夫加一样东西。没人看着时，狼吃羊、羊吃白菜。最少几次摆渡能全部安全过河？
答案：A. 7 次——关键是第 4 程把羊带回来
🐱 先送羊过去（1），空船回（2），送狼过去（3）——然后是那一步：把羊带回来（4）。再送白菜过去（5），空船回（6），最后再送羊（7）。每一个危险组合独处时，农夫都在场。这道题是为一个思想立的碑：前进有时需要先撤销前进——羊过了三次河不是浪费，它就是解法本身。
第 8 题
你有一个无刻度的 3 升壶、一个无刻度的 5 升壶，和用不完的水。量出恰好 4 升。
答案：A. 灌满 5，倒进 3（剩 2），倒空 3，把 2 倒进去，再灌满 5，把 3 补满——5 升壶里正好剩 4
🐱 灌满 5 倒进 3：5 升壶里剩恰好 2。倒空 3，把这 2 转进去——3 升壶现在装着 2，意味着它还能接收恰好 1。再灌满 5，把 3 补满：正好流走 1 升，5 − 1 = 4。这里每个数字都由容器之间的差值造出来，从头到尾没有目测。这就是整个题类的本质：无刻度的壶也能做算术，因为「倒到满为止」是精确运算。
第 9 题
八个球外观完全一样，其中一个略轻。天平只能用两次，怎么找出它？
答案：A. 先称 3 对 3；答案在于把八个球分成 3、3、2 三组
🐱 直觉是 4 对 4，但那样第一次称量只把范围砍半——剩 4 个候选，一次称量处理不完。改称 3 对 3：若一边翘起，轻球在那 3 个里，取其中两个称 1 对 1，翘起的是它、平了就是第三个。若天平平衡，轻球在剩下那 2 个里，一次称量立判。天平有三种结果——左、右、平——所以每次称量能把候选切成三份而不是两份。8 ≤ 3²，两次足够。
最深的一族：别人没说出口的话也是数据。每个玩家都在推理「如果局面不同，另一个人本该得出什么结论」——当那个结论没有出现，一种可能性就死掉了。解这类题意味着在自己脑中模拟别人的推理，一层，有时两层。放慢速度，轮流替每个人叙述他看到的世界；当每一次沉默都被翻译成一句话，谜题自行坍塌。
通常怎么问：「三个囚犯五顶帽子」·「为什么他的沉默就是答案？」
第 10 题
三个囚犯排成一列。C 能看到 A 和 B；B 只能看到 A；A 谁也看不到。从装有 3 顶白帽、2 顶黑帽的袋子里取出三顶分别戴上。先问 C 自己帽子的颜色：「不知道。」再问 B：「不知道。」什么都看不到的 A 却说：「我知道了。」是什么颜色？怎么知道的？
答案：A. 白色——C 和 B 的「不知道」各自排除了 A 戴黑帽的世界
🐱 C 只有在看到两顶黑帽时才能确定自己（黑帽只有两顶，那他必是白的）。他不知道——说明 A、B 没有同时戴黑。B 听到了这一点。如果 B 看到 A 戴黑，他就能推出「那我不是黑的——我是白的」。可 B 也不知道——说明 A 不是黑的。A 听完两次「不知道」，什么都不用看，直接得出：白色。两个人公开宣布的无知，装着 A 需要的全部信息。在这类题里，「我不知道」从来不是空话——它是说话者眼中世界的一份报告。
第 11 题
两名玩家额头上各贴一个从 1 起的整数，彼此能看见对方的、看不见自己的。他们被告知两个数是相邻的（差 1）。两人轮流说「我不知道我的数」——直到某一刻，其中一人突然报出了自己的数。这个过程为什么终会结束？
答案：A. 每一次「不知道」都排除掉当前最小的可能，认知每轮上升一格
🐱 如果某个玩家看到对方是 1，他立刻知道自己是 2（数字相邻且从 1 起）。所以第一句「不知道」宣布的是：我看到的不是 1。此时看到 2 的人就知道自己必是 3——若自己是 1，对方早该知道了。每一轮公开的无知把下限抬高一格，数字较小的那个人迟早被上升的下限逮住。这是「公共知识」干实活的最干净示例：没人得到任何私密信息，他们只知道对方不知道——而这就够了。
四个家族覆盖大多数：真话者/说谎者类（骑士与骗子）、排除或网格类（谁拥有什么）、流程类（过河、量水、称量），以及把别人的回答——或沉默——当作数据的推断类。每个家族有一种核心方法，所以按家族练比乱练有效。
三个习惯：从最大的断言或约束最多的对象下手，因为它崩得最快；把每条线索的否定含义也榨出来，不只用正面信息；卡住时找那个「感觉浪费」的动作——把羊带回去、倒空刚灌满的壶。速度来自删除可能性，不来自灵光。
网格谜题是其中一个家族——排除类，用候选表来解。本页覆盖它，外加三个网格表达不了的家族：说谎者类、流程类和沉默推断类。网格方法本身在排除法那一节里演示了。
最后那道相邻数谜题——难点不在步骤，在于真正干活的是「公共知识」：每个玩家都在推理对方的推理。这个家族的谜题（包括著名的蓝眼睛岛民）被认为是趣味逻辑里最难的一类。
它训练的是具体且可迁移的习惯——系统排除、用矛盾检验假设、把「没有出现的证据」也当证据——这些正是雇主测评卷考的动作。能迁移的是纪律，不是题目专属的技巧，而纪律只有在「先自己试再看解」时才长得出来。