第一章：逻辑之门 | The Gate of Logic

你站在悖论之城的入口，一座由纯逻辑构建的虚拟都市。面前是“说谎者悖论”的守卫，他面无表情地重复着一句令所有理性思维颤抖的话：“我正在说谎。” 要进入这座城市，你必须证明自己拥有逻辑思维的能力——不是通过武力，而是通过清晰、严谨的推理。守卫要求你运用命题逻辑与真值表，解开他设置的谜题，以验证你的身份。本章将带你穿越这道“逻辑之门”，掌握形式逻辑的基础工具：如何用符号表达思想，如何构建真值表，如何识别有效的推理结构，以及如何避开常见的逻辑陷阱。这些技能不仅是数学思维的基石，也是你在后续冒险中解决一切谜题的关键。

The Gates of Paradox City stand before you, a metropolis built entirely from the bricks of logic. Its guardian is the Liar Paradox, intoning a sentence that has baffled philosophers for millennia: “I am lying.” To enter, you must prove your logical mettle—not by force, but by clear, rigorous reasoning. The guardian demands you wield propositional logic and truth tables to solve his puzzles and verify your identity. This chapter will guide you through the Gate of Logic, equipping you with fundamental tools: how to express thoughts symbolically, construct truth tables, recognize valid inference structures, and avoid common logical fallacies. These skills form the bedrock of mathematical thinking and will be your key to unraveling every mystery in the adventures to come.

命题逻辑：思想的符号化

什么是命题？

逻辑始于命题（proposition）——一个能够判断真或假的陈述句。命题必须具有确定的真值：要么为真（true），要么为假（false），但不能同时为真和假，也不能既不真也不假。例如，“北京是中国的首都”是一个真命题；“月亮是由奶酪做的”是一个假命题。而“你好吗？”是疑问句，不是命题；“请关门！”是祈使句，也不是命题。只有陈述句才能成为命题。

在逻辑中，我们通常用大写字母表示原子命题（atomic proposition），即不能再分解为更简单命题的陈述。例如：

• P: “今天下雨。”（It is raining today.）
• Q: “我带伞。”（I bring an umbrella.）
• R: “地面是湿的。”（The ground is wet.）

这些符号本身没有意义，只是代表命题的占位符。重要的是它们之间的逻辑关系，而非具体内容。这种抽象化使我们能专注于推理的形式结构，而不被内容干扰。

A proposition is a declarative sentence that is either true or false. It must have a definite truth value: true (T) or false (F), but not both, and not neither. For example, “Beijing is the capital of China” is a true proposition; “The moon is made of cheese” is a false proposition. Questions (“How are you?”) and commands (“Close the door!”) are not propositions. Only declarative sentences qualify.

In logic, we use capital letters to denote atomic propositions—statements that cannot be broken down into simpler ones. For instance:

• P: “It is raining today.”
• Q: “I bring an umbrella.”
• R: “The ground is wet.”

These symbols themselves are meaningless; they are placeholders for propositions. What matters is the logical relationship between them, not their concrete content. This abstraction allows us to focus on the formal structure of reasoning, undistracted by subject matter.

逻辑联结词：构建复合命题

单个命题表达能力有限。通过逻辑联结词（logical connectives），我们可以组合原子命题形成复合命题（compound proposition），表达更复杂的逻辑关系。主要有五种基本联结词：

1. 否定（Negation）：符号 `¬` 或 `~`，表示“非”。如果 P 为真，则 ¬P 为假；如果 P 为假，则 ¬P 为真。真值表如下：

| P | ¬P | |-----|-----| | T | F | | F | T |

例子：P: “今天下雨。” ¬P: “今天不下雨。”（It is not raining.）

2. 合取（Conjunction）：符号 `∧`，表示“且”。P ∧ Q 为真当且仅当 P 和 Q 同时为真；否则为假。

| P | Q | P ∧ Q | |-----|-----|-------| | T | T | T | | T | F | F | | F | T | F | | F | F | F |

例子：P ∧ Q: “今天下雨且我带伞。”（It is raining and I bring an umbrella.）只有两者都真时整体真。

3. 析取（Disjunction）：符号 `∨`，表示“或”。在逻辑中，`∨` 是相容的，即 P ∨ Q 为假仅当 P 和 Q 都为假；只要至少一个为真，整体就为真。注意自然语言中的“或”有时不相容（如“你要茶或咖啡”暗示只能选一），但逻辑析取是相容的。

| P | Q | P ∨ Q | |-----|-----|-------| | T | T | T | | T | F | T | | F | T | T | | F | F | F |

例子：P ∨ Q: “今天下雨或我带伞。”（It is raining or I bring an umbrella.）至少一个成立即可。

4. 蕴含（Implication）：符号 `→` 或 `⊃`，表示“如果...那么...”。P → Q 为假仅当 P 为真且 Q 为假；其他情况为真。这常令人困惑：当前提假时，蕴含式自动为真（“空真”）。例如，“如果猪会飞，那么地球是平的”在逻辑上为真，因为前提假。

| P | Q | P → Q | |-----|-----|-------| | T | T | T | | T | F | F | | F | T | T | | F | F | T |

例子：P → Q: “如果今天下雨，那么地面是湿的。”（If it is raining, then the ground is wet.）仅当雨下但地不湿时为假。

5. 等价（Biconditional）：符号 `↔` 或 `≡`，表示“当且仅当”。P ↔ Q 为真当且仅当 P 和 Q 同真或同假。

| P | Q | P ↔ Q | |-----|-----|-------| | T | T | T | | T | F | F | | F | T | F | | F | F | T |

例子：P ↔ Q: “今天下雨当且仅当我带伞。”（It is raining if and only if I bring an umbrella.）两者同步。

These five connectives allow us to build complex expressions from simple propositions. Notice that the logical “or” (∨) is inclusive: it is true if at least one disjunct is true. The implication (→) is counterintuitive when the antecedent is false, but this definition preserves the validity of many mathematical inferences.

自然语言与逻辑符号的转换

将日常语言转化为逻辑符号时，需注意某些词语的准确对应：

• “且”、“并且” → `∧`
• “或”、“或者” → `∨`（通常取相容析取）
• “非”、“不是” → `¬`
• “如果...那么...” → `→`
• “当且仅当”、“恰好当” → `↔`
• “除非”常转化为蕴含： “除非 P，否则 Q” 即 ¬P → Q 或 P ∨ Q（取决于语境）。
• “但”、“然而”通常仍为合取，但可能隐含对比。

例如，“虽然今天下雨，但我还是出去了”可符号化为 P ∧ Q，其中 P: 下雨， Q: 出去。转折词“虽然...但...”在逻辑中常忽略，只关注命题的合取。

Converting natural language to logical symbols requires care:

• “and”, “but” → `∧`
• “or” → `∨` (inclusive)
• “not” → `¬`
• “if... then...” → `→`
• “if and only if” → `↔`
• “unless” often becomes `¬P → Q` or `P ∨ Q`.

For example, “Although it is raining, I went out” can be symbolized as P ∧ Q, where P: it is raining, Q: I went out. The contrastive “although” is ignored in the logical form.

真值表：系统检验命题与论证

真值表的构建方法

真值表（truth table）是命题逻辑的核心工具，它系统列出所有可能的真值组合，并计算复合命题的真值。对于 n 个原子命题，有 2^n 种真值组合。构建步骤： 1. 确定所有原子命题（如 P, Q, R）。 2. 创建列：先列出所有原子命题，再列出逐步构建的中间复合命题，最后是目标命题。 3. 填写真值：按二进制顺序列出所有组合（通常从全 T 开始，每次最后列翻转）。 4. 计算复合命题真值：根据联结词定义，逐列计算。

例如，对命题 (P ∨ Q) → R，有三个原子命题，需 8 行。先列 P, Q, R 的所有组合，然后计算 P ∨ Q，最后计算 (P ∨ Q) → R。

A truth table systematically lists all possible truth value assignments to atomic propositions and computes the truth value of compound propositions. For n atomic propositions, there are 2^n rows. Steps: 1. Identify all atomic propositions (e.g., P, Q, R). 2. Create columns: first for atomics, then for intermediate compounds, finally the target. 3. Fill rows: list all combinations in binary order (usually starting with all T, flipping the last column each row). 4. Compute compound truth values based on connective definitions.

示例：构建 (P ∨ Q) → R 的真值表

| P | Q | R | P ∨ Q | (P ∨ Q) → R | |-----|-----|-----|-------|-------------| | T | T | T | T | T | | T | T | F | T | F | | T | F | T | T | T | | T | F | F | T | F | | F | T | T | T | T | | F | T | F | T | F | | F | F | T | F | T | | F | F | F | F | T |

解释：当 P ∨ Q 为真（前四行后四行？实际看：P∨Q 在 P 和 Q 至少一个 T 时为 T，即前六行？检查：行1: T∨T=T, 行2: T∨T=T, 行3: T∨F=T, 行4: T∨F=T, 行5: F∨T=T, 行6: F∨T=T, 行7: F∨F=F, 行8: F∨F=F。所以 P∨Q 为 T 的行是1-6，为 F 的是7-8。然后 (P∨Q)→R：当前提真（P∨Q=T）时，结论 R 必须 T 才整体 T，否则 F；当前提假（P∨Q=F）时，整体自动 T（空真）。所以行1: T→T=T, 行2: T→F=F, 行3: T→T=T, 行4: T→F=F, 行5: T→T=T, 行6: T→F=F, 行7: F→T=T, 行8: F→F=T。符合上表。

This example shows how to compute step by step. The implication is false only when the antecedent is true and consequent false; otherwise true.

用真值表检验论证有效性

一个论证由前提（premises）和结论（conclusion）组成。论证有效（valid）当且仅当在所有前提同时为真的情况下，结论必然为真。用真值表检验：找到一行使得所有前提为真但结论为假，如果存在，则论证无效；否则有效。

例如，论证：

• 前提1: P → Q
• 前提2: P
• 结论: Q

这是假言推理（Modus Ponens），有效。真值表检查：仅当 P=T 且 P→Q=T 时，前提都真。P→Q=T 且 P=T 要求 Q=T（因为如果 Q=F，则 P→Q=F）。所以前提真时 Q 必真，无前提真结论假的行，故有效。

另一个例子：

• 前提: P → Q
• 前提: ¬P
• 结论: ¬Q

这是否定前件谬误（Denying the Antecedent），无效。真值表：当 P=F, Q=T 时，前提：P→Q = T（因为假前提蕴含真结论为真），¬P = T（因为 P=F），所以前提都真；但结论 ¬Q = F（因为 Q=T）。存在前提真结论假的行，故无效。

To test an argument, construct a truth table for all involved propositions. Check if there is any row where all premises are true but the conclusion is false. If yes, invalid; if no, valid.

故事中的应用：广场的真理挑战

在悖论之城的“真理广场”（Square of Truth），所有被说出的陈述必须为真。守卫要求你证明自己理解逻辑，他给出了三个命题： 1. A: “如果我是人类，那么我会死。”（If I am human, then I will die.） 2. B: “我是人类。”（I am human.） 3. C: “我不会死。”（I will not die.）

守卫说：“其中只有一个是假的。” 但根据广场规则，所有陈述必须为真，这似乎矛盾。