第四章:命题——判断真假的技能¶
"不会判断真假,你的瞄准再准也是盲狙。"
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¶
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 逻辑推导链条¶
每个箭头都是一个条件命题:
- 如果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: 判断下面哪些是命题,如果是命题,判断真假。
- "这把是排位赛"
- "rush B点!"
- "1+1=3"
- "你会玩狙击枪吗?"
- "这把枪后坐力很大"
练习 2: 用真假值表判断以下复合命题的真假。
已知:A=真,B=假,C=真
- A ∧ B
- A ∨ B
- ¬B
- A → C
- (A ∧ C) → B
练习 3: 分析以下游戏对话中的逻辑问题。
队友A:"A点肯定没人,我搜过了。"
队友B:"我刚在A点看到人。"
队友C:"那可能有人,也可能没人吧。"
分析任务:
- 队友A和B的命题是否矛盾?
- 队友C的说法违反了什么逻辑定律?
- 如果你是队长,怎么判断?
练习 4: 构建一个完整的逻辑推导链。
场景:残局1v2,你有包,需要判断"能赢"的推导过程。
提示:从已知条件出发,用"如果...那么..."连接,最终推出"能赢"。