第3卷 第1章 镜子的独白

学习目标

• 能列出五句话的真值与身份约束，构造并回代检查唯一一致模型
• 能把五人结论推广到 n≥2，并用 n=1 的反例检查一般化边界
• 能用约束传播解三人三色表，并区分“有解”“唯一解”和线索必要性
• 能把“不知道”当作公开信息，分离对象层、命题层、回答层与观察层

从谁是老实人开始

第3卷第1章发生在新年假期。“我”和初二的表妹尤里从《白雪公主》中从不说谎的魔镜聊起，又翻开一本数学谜题集。看似轻松的老实人与骗子游戏，实际上提前摆出了全卷的核心问题：一句话是什么、真假怎样判定、一个系统是否存在一致解释，以及系统谈论自己时会发生什么。这是进入自指入口的第一步。

“镜子呀镜子，在这世上谁最美？”魔镜的回答之所以能推动故事，是因为女王相信它从不说谎。本章把这个童话设定改造成可逐句验证的真假规则。

先预测：五个人各自声称“这里有k个人说谎”，为何恰有一人说真话；把5换成字母n后，为什么公式在n=1处突然失效；两个身份为何可以给出同一个“是”；一个“不知道”又如何改变下一个人的知识？

约定每个人只有两种身份：

• 老实人总说真话；
• 骗子总说假话。

这不是对现实人物的描述，而是谜题中的形式规则。判断答案时，不能凭语气猜身份，必须让“身份”和“发言真假”互相匹配。

五句话与一个固定点

五个人依次发言：

人	发言
A_1	这里有1个人说谎
A_2	这里有2个人说谎
A_3	这里有3个人说谎
A_4	这里有4个人说谎
A_5	这里有5个人说谎

设实际骗子人数为L。第k句话是一个命题：

$$S_k\colon L=k.$$

若L介于1与5之间，五句话中恰有一句为真，就是S_L。由于老实人的句子恰好为真，老实人数也必须是1。于是：

$$5-L=1,$$

得到：

$$L=4.$$

所以A_4的发言为真，他是唯一老实人；其余四句为假，其余四人都是骗子。把结果逐句回代后没有冲突，这才构成一个一致模型。

也可直接按老实人数枚举：

1. 0个老实人意味着5个骗子，但A_5说中了真相，冲突。
2. 1个老实人意味着4个骗子，只有A_4说真话，完全一致。
3. 2个老实人意味着3个骗子，却只有A_3一句为真，人数不符。
4. 其余情形同样让“真话句数”与“老实人数”不相等。

导入n以后，别忘了边界

把五人问题推广为n人，也就是把人数参数化：

$$B_k\colon \text{这里有 }k\text{ 个人说谎}, \qquad k=1,2,\ldots,n.$$

设骗子人数为L。如果1\le L\le n，仍只有第L句为真，所以老实人数为1：

$$n-L=1.$$

因此：

$$L=n-1.$$

当n\ge2时，B_{n-1}存在，恰好由它说出真话；一般化结果成立。

但尤里立刻检查n=1。唯一的人C_1说：

这里有1个人说谎。

若C_1是老实人，则实际上没有骗子，句子为假；若C_1是骗子，则实际上有1个骗子，句子为真。两种身份都与自身规则冲突，所以：

$$\text{有效模型数量}=0.$$

这里不是“无法判断他属于哪一类”，也不是多出第三种身份，而是题设“不是真话者就是骗子”与这句发言无法共同成立。一般公式B_{n-1}在n=1时需要一个不存在的B_0，边界正好暴露了推导的前提。

相同答案不等于相同真值

原章接着问：能否设计一个只能回答“是”或“否”的问题，让老实人与骗子给出相同答案？

问：

你是老实人吗？

老实人回答“是”，因为命题为真；骗子也回答“是”，但“我是老实人”对骗子为假，正好符合他必须说谎的规则。两人输出了同一个字，却表达了不同真值。

换成：

你是骗子吗？

老实人回答“否”，如实否认；骗子也回答“否”，对真实的“我是骗子”作假否认。

这说明“是”与“否”只是回答符号。要判断真假，必须把它与问题合并成完整断言：

$$\text{问题内容}+\text{回答方式} \Longrightarrow \text{被断言的命题}.$$

把“他说了是，所以这句话为真”作为推理规则，会混淆语句表面与语义。

回答是沉默：句子开始照镜子

尤里提出更尖锐的问题：

对这个问题，你会回答“否”吗？

令N表示“实际回答是否”：

$$N= \begin{cases} \mathrm{true},&\text{实际回答否},\\ \mathrm{false},&\text{实际回答是}. \end{cases}$$

问题询问的命题正是N。若老实人回答“是”，实际并未回答“否”，所以N为假，“是”断言了假命题；若老实人回答“否”，实际确实回答了“否”，所以N为真，“否”又否定了真命题。两条路都让他撒谎：

$$\text{老实人没有合法的是或否答案}.$$

骗子却可以回答任意一个。答“是”时，N实际为假；答“否”时，N实际为真而他予以否定。两种完整断言都为假。

这就是本章最早出现的：回答行为进入句子内容，问题的真假依赖回答，而回答又必须依赖问题的真假。它还不是哥德尔句，却让读者亲手碰到后续证明要驯服的循环。

用表格来想：三人三色逻辑谜题

爱丽丝、博丽丝、克丽丝各戴一顶帽子、一块手表和一件上衣。每类物品都恰好使用红、绿、黄三色各一次；每个人的三件物品颜色也互不相同。已知：

1. 爱丽丝的手表是黄色。
2. 博丽丝的手表不是绿色。
3. 克丽丝的帽子是黄色。

不要只在脑中试穿颜色。建立3乘3表格，把“每行三色各一次”和“每列三色各一次”写成：

人	帽子	手表	上衣
爱丽丝	?	黄	?
博丽丝	?	非绿	?
克丽丝	黄	?	?

手表列已经用了黄；博丽丝的手表又不是绿，所以只能是红，克丽丝的手表随即只能是绿。

克丽丝一行已有黄帽与绿表，上衣只能是红。上衣列已经确定克丽丝为红；爱丽丝不能穿黄上衣，因为她已有黄表，于是爱丽丝上衣为绿，博丽丝上衣为黄。剩余帽子依次确定为爱丽丝红、博丽丝绿。

最终得到：

人	帽子	手表	上衣
爱丽丝	红	黄	绿
博丽丝	绿	红	黄
克丽丝	黄	绿	红

这种把一个格子的确定值传给同行和同列、继续删除候选值的过程叫约束传播。

出题者的心思：有解还不够

若删掉“克丽丝的帽子是黄色”，前两条线索仍能确定三块手表，却留下两个完整解：

解	爱丽丝	博丽丝	克丽丝
1	红帽、黄表、绿衣	绿帽、红表、黄衣	黄帽、绿表、红衣
2	绿帽、黄表、红衣	黄帽、红表、绿衣	红帽、绿表、黄衣

所以“解得出一个答案”不等于拥有。出题者必须同时检查：

1. 存在至少一个模型；
2. 不存在第二个模型；
3. 每条线索是否必要，或者是否只是冗余提示。

解题与出题因此互为镜像：一边从规则寻找模型，一边从目标模型设计足够而不过量的规则。

帽子是什么颜色：不知道也是信息

主持人有3顶红帽和2顶白帽，从中取3顶给A、B、C戴上。每个人能看见另外两人的帽子，不能看见自己的；三人都知道帽子总数和颜色构成。主持人依次询问：

1. A：你是什么颜色？A回答“不知道”。
2. B：你是什么颜色？B回答“不知道”。
3. C看见A和B都是红帽。C能确定自己吗？

A的“不知道”排除了一个世界

若B和C都是白帽，A会立刻知道自己只能是红帽，因为总共只有2顶白帽。现在A说不知道，所以：

$$\neg(B=W\land C=W).$$

等价地：

$$B=R\lor C=R.$$

第一句“不知道”把一个私人的知识状态变成所有人都听见的公开信息。

站到B的位置，再嵌套A的位置

为了判断C，反设：

$$C=W.$$

B看见A=R和C=W。他还听见A说“不知道”。B于是这样推理：

1. 如果我也是白帽，那么A看到两顶白帽，应当知道自己是红帽。
2. 但A实际说不知道，所以我不可能是白帽。
3. 因此我一定是红帽；这是把他人的公开发言纳入自己的候选世界。

在反设C=W的世界里，B本应回答“我是红色”。现实中B却回答“不知道”，矛盾。所以：

$$C\ne W.$$

题设保证C只可能红或白，因此：

$$\boxed{C=R}.$$

这条推理包含嵌套知识：C考虑“如果我是白色，B会怎样利用A的回答”。帽子本身没有变化，公开发言却逐轮压缩可能世界。

对出题者也要验证

原章没有在推出C=R后马上停止。尤里追问：只反设C=W是否足够？如果“帽子非白即红”这个前提本身有问题，排除白色也不能推出红色。

因此再验证C=R：

• A看见B=R,C=R，自己的帽子可能红也可能白，所以回答不知道。
• B听见A不知道，又看见A=R,C=R，自己的帽子仍可能红也可能白，所以也回答不知道。

候选C=R与全部发言相容。这一步把“排除另一个候选”与“验证保留下来的候选”分开，正是一般证明和程序测试都需要的闭环。

镜子的独白：谁在观察谁

章末，尤里开玩笑说在房间里装镜子就能偷看自己的帽子，又谈到德古拉不会映在镜中。她拿出小镜子，设想“如果世界上只剩自己，自己当然最美”，随即发现没有别人欣赏时，“最美”也失去了比较的意义。

镜子既产生一个关于对象的像，也把观察者带回画面。前三组谜题同样反复交换层次：

• 人说出关于所有人、包括自己的句子；
• 问题谈论即将给出的答案；
• 解题者研究出题者是否给足条件；
• C研究B如何研究A的知识。

“镜子的独白”由此成为整卷的第一块拼图。后续形式系统要把数学语句变成可操作的符号，再让系统中的数编码系统自身的语句与证明。这里的谜题先训练最基本的纪律：每次照镜子，都要分清对象层、观察层、命题内容和判真规则。

本章回顾：从真假走向自指

1. 老实人与骗子不是性格标签，而是“真话/假话”与身份必须一致的形式规则。
2. 五人问题中实际有4个骗子，只有A_4说真话。
3. n人版本在n\ge2时由B_{n-1}唯一说真话；n=1没有一致模型。
4. 一般化必须保留推导条件，边界值要回原定义验证。
5. “是”或“否”本身没有真值，必须还原它针对的完整命题。
6. 问“你是老实人吗”时两种身份都答“是”，但一句为真、一句为假。
7. “你会回答否吗”把回答行为写进问题，导致老实人没有合法二值答案。
8. 逻辑表把复杂条件外化为行列约束，约束传播可以逐格确定唯一解。
9. 删除一条线索后出现两个解，说明存在解与唯一解是不同要求。
10. 帽子谜题中“不知道”会排除可能世界，并成为后续参与者的公开信息。
11. C通过反设自己为白，嵌套模拟B如何利用A的回答，推出自己必为红。
12. 镜子意象把对象与观察者、自身与表述并置，为后续形式系统的自我编码铺路。

互动实验：把镜面纪律跑一遍

Mirror Monologue Lab

三种谜题，三种“照镜子”方法

重置

真假模型约束传播公开知识

1

先找一致模型

把每句发言标成真或假，再让身份规则回到实际人数 L=4。

验收：只有 A₄ 为真，且老实人数 5−4=1。

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 找一致模型

先把 A₁ 到 A₅ 的发言写成命题，再用 L=4 验证只有 A₄ 说真话。

上一步播放下一步

练习：从答案词回到完整命题

练习

问题 1　五个人分别说“有 1、2、3、4、5 个人说谎”。请用一句等式说明为什么骗子人数是4，并说明哪一句为真。

查看答案

若骗子人数为 L，当 1≤L≤5 时恰有第 L 句为真，因此老实人数为1；于是 5−L=1，得到 L=4，只有 A₄ 说真话。

问题 2　把人数改成 n 后，为什么结论要写成“当 n≥2 时成立”？请用 n=1 检查边界。

查看答案

n≥2 时 B_{n−1} 确实存在，L=n−1 让一句话为真；n=1 时唯一的人说“有1个骗子”，无论老实还是骗子都与句子真值冲突，所以没有一致模型。

问题 3　三人三色谜题删掉“克丽丝帽子是黄色”后留下两个解。这说明“有解”和“唯一解”分别对应什么验收条件？

查看答案

“有解”只要求至少一个模型满足所有线索；“唯一解”还要求不存在第二个模型。删掉该线索后仍有模型，但模型数变成2，因此题目不再唯一。

问题 4　A 说“不知道”、B 听见后仍说“不知道”，C 看见 A 与 B 都是红帽。请写出 C 不能是白帽的关键反设链。

查看答案

反设 C=W。若 B=W，B 看见 A=R,C=W，还知道 A 已说不知道；这会使 B 推出 A 不可能看到两顶白帽，故 B 应知道自己是红帽，不能再说不知道。矛盾，所以 C≠W，只能是红帽。

概念核对：镜面谜题的可验证节点

下面把本章的概念压缩成可检查的节点。每个节点都回答“对象是什么、规则如何使用、结果怎样验收”，读者可以把它当作复习清单或实现逻辑谜题时的测试目录。

命题与真假

命题与真假必须分两层处理：先写出完整断言，例如 L=4，再根据实际模型判定它为真或假。回答“是”或“否”只是把某个命题交给身份规则处理，不能单独承担真值。

一致模型

一致模型是一份完整的身份分配、发言真值和线索解释。五人题的 L=4 只有在逐句回代后仍满足“老实人说真、骗子说假”时才算模型，而不是找到一个看起来合理的数字就结束。

约束传播

约束传播从一个确定格开始，把它对同行、同列和物品颜色的影响继续传下去。它的验收标准是每一步都能指出被删除的候选，最终表格既满足全部规则又没有第二个解。

公开信息

公开信息不等于某个人私下知道的事实；它还要求所有人都听见，并知道别人也听见。A 的“不知道”因此能被 B 和 C 纳入推理，成为下一轮删除可能世界的证据。

嵌套知识

嵌套知识要求暂时站到 B 的观察位置，模拟 B 如何使用 A 的发言，再回到 C 的位置检验反设。它把“我知道”与“我知道你知道”区分开，避免跳过关键反设。

自指

自指是描述对象的句子、回答或观察再次把自身放回描述范围。回答“你会回答否吗”时，回答行为进入句子内容；对象层与观察层若不分开，循环就会被误当成普通真假题。

• 镜子的独白不是童话插曲，而是把对象、命题和观察者放到同一面镜子前，预告后续自我编码。
• “镜子呀镜子”之所以能成为规则，是因为魔镜被假定为从不说谎，回答因此可以反向约束模型。
• 谁是老实人的题型把身份限制为真话者与假话者，不能用性格、语气或可信度代替形式规则。
• 老实人总说真话意味着他的发言真值必须为真，身份不是“经常诚实”的统计描述。
• 骗子总说假话意味着他的完整断言必须为假，回答字面相同并不改变这个约束。
• 五个人依次发言让每句 A₁ 到 A₅ 都有固定位置，方便按人数回代而不是凭印象猜答案。
• 命题与真假需要把“这里有 k 个人说谎”写成 L=k，再对它判断真或假。
• 实际骗子人数为 L是全局变量；身份分配必须与它的计数结果同时成立。
• A₄是唯一老实人来自 L=4，不是因为第四个人更可信，而是因为第四句恰好命中人数。
• 逐句回代检查一致性要求把 L=4 放回五句与五个身份，确认没有隐藏冲突。
• 一致模型是满足规则的完整候选世界，至少要包含身份、发言真值和线索解释。
• 按老实人数分情况枚举是有限搜索：逐个假设老实人数，再检验真话句数是否相等。
• n人一般化把5换成参数 n，保留每个 k 都有一句对应的计数命题。
• 导入字母 n 把问题一般化的价值是暴露推导依赖的范围，而不是只把一个数字换成字母。
• B(n−1) 是老实人只在 n≥2 时有合法下标；公式本身也携带边界条件。
• n至少为2保证 n−1 落在 1 到 n 的发言编号范围内。
• n等于1时问题不成立说明一般化不是自动覆盖边界，必须回到原始规则重新建模。
• C₁说这里有1个人说谎会让真话身份和假话身份都各自产生冲突，是无模型而非多解。
• C₁老实或骗子都会冲突的检验同时覆盖两种身份，避免只验证其中一个分支。
• 一般化要检查边界是本章的证明纪律：先写推导假设，再单独测试最小参数。
• 使答案相同的问题提醒我们比较的是输出符号，不是符号背后的完整语义。
• **“你是老实人吗”**让老实人如实回答“是”，骗子也会为了说假话而回答“是”。
• 老实人与骗子都回答是只说明输出相同；前者说真断言，后者说假断言。
• **“你是骗子吗”**的对称问题使两种身份都回答“否”，但真值解释依然相反。
• 老实人与骗子都回答否再次显示回答词不能脱离问题内容单独判真。
• 答案词与命题真值分离要求实现者保存“问题内容、回答、身份”三个字段，而不是只存一个布尔值。
• 回答是沉默把回答行为本身提升为可被谈论的对象，循环因此显现。
• **“对这个问题你会回答否吗”**询问的是实际回答是否为“否”，命题内容依赖未来动作。
• 老实人无法回答是或否不是因为他拒绝回答，而是两种回答都会让完整命题真值与身份规则冲突。
• 骗子可以回答任意一个是因为两种完整断言都能保持为假，骗子没有被唯一确定。
• 回答行为进入句子内容意味着判断流程必须先定义回答，再检查问题是否描述了该回答。
• 自指发生在句子、回答或观察描述把自身重新放进被谈论对象时。
• 爱丽丝、博丽丝、克丽丝三人三色提供了一个有限约束系统，每人和每类物品都可列出候选集合。
• 帽子手表上衣各用红绿黄一次同时施加行约束与列约束，任一确定值都会影响两个方向。
• 爱丽丝手表黄色先固定一个格，成为后续删候选的起点。
• 博丽丝手表不是绿色结合手表列已经使用黄色，立即推出博丽丝手表是红色。
• 克丽丝帽子黄色固定第一列的一个值，也让克丽丝这一行只剩两种颜色可排。
• 用表格来想把脑中的试错外化为九个格子，便于逐条记录证据和回溯。
• 横向与纵向唯一约束分别对应每个人三件物品不同色、每类物品三种颜色各一次。
• 约束传播把一个格的确定值推送到相邻规则，连续删除不相容候选。
• 三人三色最终答案是爱丽丝红帽黄表绿衣、博丽丝绿帽红表黄衣、克丽丝黄帽绿表红衣。
• 删除克丽丝帽子线索有两个解说明少一条线索可能保留多个满足条件的模型。
• 出题者的心思不只是找一个答案，还要检查每条线索是否足以保证唯一性。
• 存在解与唯一解不同：前者要求模型数量至少为1，后者要求模型数量恰好为1。
• 帽子是什么颜色把“看见别人、看不见自己”的视角限制写进知识推理。
• 3顶红帽2顶白帽提供总量约束，任何人都能用它排除“两顶白帽同时出现”的观察。
• A回答不知道说明 A 看到的两顶帽子不能让自己的颜色被唯一推出。
• A不知道排除B和C同时白因为若两人都是白，A 会知道自己只能是红。
• B和C至少一人红是 A 的发言转换成的公开约束，其他人可以继续使用。
• B听见A的回答把 A 的私人观察结果升级为所有人的共同前提。
• 反设C是白色为 C 的证明建立一个待检验的候选世界，而不是直接宣称 C 为红。
• 若C白则B应知道自己红来自 B 对 A 的“不知道”进行二阶推理。
• B仍回答不知道产生矛盾表示反设世界无法重现真实对话，因此应被删除。
• C帽子是红色由 C≠W 与帽子颜色只有红白两种共同推出，并且要再代回全部发言。
• 不知道也是信息的关键是发言本身具有排除可能世界的逻辑效果。
• 公开信息要求所有人都知道某事实，并知道其他人也听见了它。
• 嵌套知识让 C 模拟 B 如何使用 A 的回答，再用模拟结果判断自己的颜色。
• 站在对方立场思考就是暂时采用对方能看到的两顶帽子和对方已听见的公告。
• 验证C为红与全部发言相容补上反设后的正向验算，避免只做排除而没有闭环。
• 镜子作弊看自己的帽子是对象层规则被外部工具改变的玩笑，提醒我们先固定观察权限。
• 德古拉照不进镜子把“镜像”从物理反射拉回语义：没有映像不等于没有可描述对象。
• 世界只剩自己最美却无人欣赏说明“最美”还依赖比较者，孤立对象不能自动保留关系语义。
• 对象层与观察层必须分开记录：帽子是什么是对象事实，谁知道帽子是什么是观察事实。
• 为形式系统自我编码铺路的不是某个神秘悖论，而是这套逐层标记对象、命题、回答和观察的纪律。

术语表

名词解释

本章出现的专业名词，用大白话再讲一遍。

命题

一个可以被判定为真或假的完整陈述；“是”“否”只是回答它的符号。

一致模型

身份、发言真值和全部线索同时成立的一种完整候选世界。

约束传播

一个格子确定后，沿行、列或其他规则删除不相容候选的过程。

公开信息

所有参与者都知道、并知道其他参与者也听见了的事实。

嵌套知识

站到他人的观察位置，推演他人会如何使用更早公开发言的推理。

自指

一个句子、回答或描述把自身重新纳入谈论对象的结构。

正式目录节点：逐项释义

下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界；它们是第3卷 第1章 镜子的独白的知识证据，不是把目录标题重复一遍。

• 谁是老实人：“谁是老实人”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 老实人总说真话：“老实人总说真话”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 骗子总说假话：“骗子总说假话”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• A1到A5分别声称有k个人说谎：“A1到A5分别声称有k个人说谎”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 设实际骗子人数为L：“设实际骗子人数为L”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 按老实人数分情况枚举：“按老实人数分情况枚举”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• n人一般化：“n人一般化”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 导入字母n把问题一般化：“导入字母n把问题一般化”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• n至少为2：“n至少为2”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• n等于1时问题不成立：“n等于1时问题不成立”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• C1说这里有1个人说谎：“C1说这里有1个人说谎”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 一般化要检查边界：“一般化要检查边界”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 你是老实人吗：“你是老实人吗”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 你是骗子吗：“你是骗子吗”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 老实人与骗子都回答否：“老实人与骗子都回答否”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 回答是沉默：“回答是沉默”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 对这个问题你会回答否吗：“对这个问题你会回答否吗”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 老实人无法回答是或否：“老实人无法回答是或否”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 爱丽丝手表黄色：“爱丽丝手表黄色”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 博丽丝手表不是绿色：“博丽丝手表不是绿色”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 克丽丝帽子黄色：“克丽丝帽子黄色”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 用表格来想：“用表格来想”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 横向与纵向唯一约束：“横向与纵向唯一约束”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 三人三色最终答案：“三人三色最终答案”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 删除克丽丝帽子线索有两个解：“删除克丽丝帽子线索有两个解”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 出题者的心思：“出题者的心思”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 存在解与唯一解不同：“存在解与唯一解不同”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 帽子是什么颜色：“帽子是什么颜色”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• A回答不知道：“A回答不知道”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• B和C至少一人红：“B和C至少一人红”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• B听见A的回答：“B听见A的回答”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 若C白则B应知道自己红：“若C白则B应知道自己红”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• B仍回答不知道产生矛盾：“B仍回答不知道产生矛盾”在第3卷 第1章 镜子的独白中是一个可回代的记号或中间结论：先写清变量、定义域与前提，再按本章给出的公式或程序执行一步，最后把结果代回原约束检查；只记住符号外形而不检查边界，不能算作完成理解。
• 不知道也是信息：“不知道也是信息”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 站在对方立场思考：“站在对方立场思考”在第3卷 第1章 镜子的独白中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 为形式系统自我编码铺路：“为形式系统自我编码铺路”是第3卷 第1章 镜子的独白中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。