第四章:命题——判断真假的技能

"不会判断真假,你的瞄准再准也是盲狙。"

4.1 什么是命题?

命题 / Proposition = 能判断真假的陈述。

就像在COD里:

是命题 ✓ 不是命题 ✗
"A点有敌人"(能验证) "A点在哪?"(疑问句)
"这把是狙击图"(能判断) "帮我架枪!"(命令句)
"1v3我能赢"(能验证) "Nice!"(感叹句)

逻辑只关心命题。

不是命题的话,逻辑分析不了。就像你无法判断"帮我架枪"是真还是假——它只是一句命令。


4.2 命题的真假值 / Truth Value

每个命题都有真假值 / Truth Value:要么真,要么假。

没有第三种可能——这就是第二章学的排中律。

4.2.1 游戏中的真假判断 / True vs False

场景:残局1v1

  • 命题A:"敌人在A点"
  • 命题B:"敌人在B点"

只能有一个是真的。

如果你说"敌人在A点",但实际在B点 → 假命题

如果你说"敌人在A点",而且确实在A点 → 真命题

4.2.2 命题的判断流程 / Proposition Classification

flowchart TD A[命题] --> B{能判断真假?} B -->|是| C[真命题
T/1] B -->|是| D[假命题
F/0] B -->|否| E[非命题
无法判断]

注意:

  • 真命题 = 事实相符
  • 假命题 = 事实不符
  • 非命题 = 疑问、命令、感叹,无法判断真假

4.3 简单命题 vs 复合命题 / Simple vs Compound Propositions

4.3.1 简单命题 / Simple Proposition

简单命题 = 不能再分解的基本陈述

例子:

  • "我在A点"
  • "敌人在B点"
  • "我满血"
  • "我有狙击枪"

这些都不能再拆成更小的命题。

4.3.2 复合命题 / Compound Proposition

复合命题 = 由多个简单命题组合而成

逻辑连接词 / Logical Connectives连接:

连接词 含义 游戏例子
且 / and 两个都真才真 "我在A点敌人也在A点"
或 / or 有一个真就真 "敌人在A点B点"
如果...那么... 条件关系 "如果我peek,那么会被秒"
非 / not 否定 "满血状态"

4.4 逻辑连接词详解 / Logical Connectives in Detail

4.4.1 且 / ∧ (AND / Conjunction)

规则:两个都为真,结果才为真。

A 且 B = 真  当且仅当  A=真 且 B=真

游戏场景:

"我能打赢这个1v2" = "我满血 枪法在线 位置优势"

  • ✓ 满血 + 枪法在线 + 位置优势 → 能赢
  • ✗ 残血 + 枪法在线 + 位置优势 → 很难赢
  • ✗ 满血 + 枪法马 + 位置优势 → 赢不了

4.4.2 或 / ∨ (OR / Disjunction)

规则:有一个为真,结果就为真。

A 或 B = 真  当且仅当  A=真 或 B=真(或都真)

游戏场景:

"这波能赢" = "我发挥超常 队友carry 对面犯病"

  • ✓ 我超常发挥 → 能赢
  • ✓ 队友carry → 能赢
  • ✓ 对面犯病 → 能赢
  • ✓ 三个都发生 → 稳赢

4.4.3 非 / ¬ (NOT / Negation)

规则:真假互换。

非A = 真  当且仅当  A=假

游戏场景:

  • "安全区域" = 危险区域
  • "满血" = 残血或死亡
  • "在A点" = 在A点以外的地方

4.4.4 如果...那么... / → (IF...THEN / Conditional)

规则:前件假或后件真,整个为真。

如果A,那么B = 假  当且仅当  A=真 且 B=假

游戏场景:

"如果我rush B点,那么会被架死"

  • 我rush了,被架死 → 命题为(预测准确)
  • 我rush了,没被架死 → 命题为(预测错误)
  • 我没rush → 命题为(前提不成立,无法证伪)

4.5 真假值表实战 / Truth Tables in Practice

4.5.1 且 (∧) 的真值表

游戏规则: "我能单杀他" = "我血量优势 枪法在线"

血量优势 (A) 枪法在线 (B) 能单杀? (A ∧ B)
真 (是) 真 (是) 真 (能)
真 (是) 假 (否) 假 (不能)
假 (否) 真 (是) 假 (不能)
假 (否) 假 (否) 假 (不能)

口诀:两个都真才真,有一个假就假。

4.5.2 或 (∨) 的真值表

游戏规则: "这波团能赢" = "我发挥出色 队友给力"

我出色 (A) 队友给力 (B) 能赢? (A ∨ B)
真 (是) 真 (是) 真 (能)
真 (是) 假 (否) 真 (能)
假 (否) 真 (是) 真 (能)
假 (否) 假 (否) 假 (不能)

口诀:有一个真就真,两个都假才假。

4.5.3 条件 (→) 的真值表

游戏规则: "如果我静步绕后,那么能偷到人"

我静步了 (A) 偷到人了 (B) 预测准吗? (A → B)
真 (是) 真 (是) (预测对)
真 (是) 假 (否) 假(预测错)
假 (否) 真 (是) (没机会验证)
假 (否) 假 (否) (没机会验证)

口诀:前真后假才为假,其他情况都是真。


4.6 命题与三大定律

4.6.1 同一律 + 命题

一个命题在推理过程中必须保持同一。

错误例子:

  • 你说:"这把输了"
  • 朋友:"你刚才还说能赢?"
  • 你:"我说的是另一把"

这是偷换命题,违反了同一律。

4.6.2 矛盾律 + 命题

一个命题和它的否定不能同时为真。

  • "A点有敌人"
  • "A点没有敌人"

游戏场景:

队友1:"A点清空了,安全" 队友2:"A点有人,我刚看到"

这两个命题矛盾,必有一假。

4.6.3 排中律 + 命题

一个命题要么真,要么假,没有中间状态。

"炸弹在A点" 只能:

  • 真(确实在)
  • 假(确实不在)

没有"既在又不在"或"说不清"的状态

注意: 这里的"说不清"是认知问题,不是逻辑问题。逻辑上,命题的真假是确定的。


4.7 命题判断实战

4.7.1 游戏中的快速判断

场景:残局2v3

信息:

  • 敌人在A点(命题A)
  • 队友状态好(命题B)
  • 我们有包(命题C)

判断:"我们能赢"

= (A 且 B 且 C) → 能赢

如果A=假(敌人不在A点),整个前提为假,无法直接推出结论。

4.7.2 逻辑推导链条

flowchart LR A[A点有敌人] --> B[敌人注意力在A] B --> C[我可以从B点绕后] C --> D[能偷背身] D --> E[能赢]

每个箭头都是一个条件命题:

  • 如果A,那么B
  • 如果B,那么C
  • 如果C,那么D
  • 如果D,那么E

传递性: A → B → C → D → E


4.8 常见命题陷阱

4.8.1 把命令当命题

错误:

  • "你应该rush B点" —— 这不是命题,是建议
  • "快去下包" —— 命令,无法判断真假

正确:

  • "rush B点能赢" —— 这是命题,能判断真假

4.8.2 把问题当命题

错误:

  • "敌人在哪?" —— 疑问句,不是命题

正确:

  • "敌人在A点" —— 陈述句,是命题

4.8.3 含糊命题

错误:

  • "这把可能能赢" —— "可能"让真假模糊
  • "大概会有用" —— "大概"无法判断

正确:

  • "这把能赢" —— 明确,能验证

本章小结

  • 命题 = 能判断真假的陈述
  • 简单命题 = 基本陈述,不可再分
  • 复合命题 = 用连接词组合的命题
  • 逻辑连接词:且(∧)、或(∨)、非(¬)、如果...那么...(→)
  • 真假值表 = 判断复合命题真假的工具
  • 三大定律 同样适用于命题:同一、不矛盾、排中

核心技能:

  1. 区分命题和非命题
  2. 用真假值表分析复合命题
  3. 构建逻辑推导链条

下章预告: 推理——从已知杀向未知


逻辑实战 🔥

练习 1: 判断下面哪些是命题,如果是命题,判断真假。

  1. "这把是排位赛"
  2. "rush B点!"
  3. "1+1=3"
  4. "你会玩狙击枪吗?"
  5. "这把枪后坐力很大"

练习 2: 用真假值表判断以下复合命题的真假。

已知:A=真,B=假,C=真

  1. A ∧ B
  2. A ∨ B
  3. ¬B
  4. A → C
  5. (A ∧ C) → B

练习 3: 分析以下游戏对话中的逻辑问题。

队友A:"A点肯定没人,我搜过了。"

队友B:"我刚在A点看到人。"

队友C:"那可能有人,也可能没人吧。"

分析任务:

  1. 队友A和B的命题是否矛盾?
  2. 队友C的说法违反了什么逻辑定律?
  3. 如果你是队长,怎么判断?

练习 4: 构建一个完整的逻辑推导链。

场景:残局1v2,你有包,需要判断"能赢"的推导过程。

提示:从已知条件出发,用"如果...那么..."连接,最终推出"能赢"。