《命题思维导图》
一、 命题基础概念
1.1 命题的定义
1.1.1 命题的本质
- 陈述句
- 可判断真假（真或假，二者必居其一）
- 不包含歧义
1.1.2 命题的构成要素
- 主项 (Subject)： 命题所描述的对象。
- 谓项 (Predicate)： 用来描述主项的属性或状态。
- 联项 (Copula)： 连接主项和谓项，表示两者之间的关系（通常省略或隐含）。
- 量词 (Quantifier)： 限定主项的范围，如“所有”、“有些”、“一个”。
1.2 命题的分类
1.2.1 按真假性划分
- 真命题： 符合客观事实的命题。
- 假命题： 不符合客观事实的命题。
1.2.2 按结构划分
- 简单命题（原子命题）： 不包含其他命题作为组成部分的命题。例如：“太阳是热的。”
-
复合命题： 由简单命题通过逻辑连接词连接而成的命题。
- 否定命题： 对一个命题的否定。
- 合取命题（与命题）： 两个或多个命题同时为真。
- 析取命题（或命题）： 至少有一个命题为真。
- 条件命题（蕴涵命题）： 如果一个命题为真，则另一个命题也为真。
- 双条件命题（等值命题）： 两个命题真假相同。
1.2.3 按性质划分
- 直言命题： 直接陈述事物具有某种属性或关系的命题。
- 模态命题： 带有“必然”、“可能”、“应当”、“允许”等模态词的命题。
- 关系命题： 陈述事物之间关系的命题。
二、 复合命题的逻辑连接词
2.1 否定词 (¬ 或 ~)
- 含义： 对命题的真值取反。
-
真值表： P ¬P 真 (T) 假 (F) 假 (F) 真 (T)
2.2 合取词 (∧ 或 &)
- 含义： 连接的命题都为真时，整体为真。
-
真值表： P Q P∧Q 真 (T) 真 (T) 真 (T) 真 (T) 假 (F) 假 (F) 假 (F) 真 (T) 假 (F) 假 (F) 假 (F) 假 (F)
2.3 析取词 (∨)
- 相容析取（可兼析取）： 至少有一个命题为真，可以都为真。
- 互斥析取（不可兼析取）： 只有一个命题为真。
-
真值表（相容析取）： P Q P∨Q 真 (T) 真 (T) 真 (T) 真 (T) 假 (F) 真 (T) 假 (F) 真 (T) 真 (T) 假 (F) 假 (F) 假 (F)
2.4 条件词 (→)
- 含义： 如果P为真，则Q为真。
-
真值表： P Q P→Q 真 (T) 真 (T) 真 (T) 真 (T) 假 (F) 假 (F) 假 (F) 真 (T) 真 (T) 假 (F) 假 (F) 真 (T) - 注意： 当P为假时，无论Q的真假，P→Q都为真（前件为假，则后件任意）。
2.5 双条件词 (↔)
- 含义： P和Q真假相同。
-
真值表： P Q P↔Q 真 (T) 真 (T) 真 (T) 真 (T) 假 (F) 假 (F) 假 (F) 真 (T) 假 (F) 假 (F) 假 (F) 真 (T)
三、 命题逻辑的应用
3.1 命题公式
- 定义： 由命题变项、逻辑连接词和括号构成的表达式。
- 类型：
- 重言式（永真式）： 无论命题变项取何值，公式都为真。
- 矛盾式（永假式）： 无论命题变项取何值，公式都为假。
- 可满足式： 存在某种赋值，使公式为真。
3.2 逻辑等价
- 定义： 两个命题公式具有相同的真值表。
- 常用等价公式：
- 双重否定律： ¬¬P ≡ P
- 德摩根律： ¬(P∧Q) ≡ ¬P∨¬Q, ¬(P∨Q) ≡ ¬P∧¬Q
- 条件等价： P→Q ≡ ¬P∨Q
- 双条件等价： P↔Q ≡ (P→Q)∧(Q→P)
3.3 推理规则
- 定义： 从一些命题（前提）推出另一个命题（结论）的规则。
- 常用推理规则：
- 肯定前件式 (Modus Ponens)： 从P和P→Q，推出Q。
- 否定后件式 (Modus Tollens)： 从¬Q和P→Q，推出¬P。
- 假言三段论 (Hypothetical Syllogism)： 从P→Q和Q→R，推出P→R。
- 选言三段论 (Disjunctive Syllogism)： 从P∨Q和¬P，推出Q。
- 合取消去律： 从P∧Q，推出P和Q。
- 合取引入律： 从P和Q，推出P∧Q。
3.4 命题逻辑在计算机科学中的应用
- 逻辑电路设计： 使用命题逻辑简化和优化电路设计。
- 程序验证： 使用命题逻辑验证程序的正确性。
- 人工智能： 使用命题逻辑表示知识和进行推理。
- 数据库： 使用命题逻辑进行查询优化。
- 知识表示： 构建知识图谱，进行信息抽取和知识推理。
四、 命题逻辑的局限性
4.1 无法表达个体差异
-
命题逻辑只能处理整个命题的真假，不能深入到个体之间的关系。
4.2 无法表达量化关系
-
命题逻辑无法表达“所有”、“有些”等量化概念。
4.3 表达能力有限
-
对于复杂的推理和知识表示，命题逻辑的能力不足。
五、 一阶逻辑（谓词逻辑）
5.1 概述
-
目的： 克服命题逻辑的局限性，更精确地表达个体、属性和关系。
-
组成：
- 个体常项： 表示具体的个体，如a, b, c。
- 个体变项： 表示可以代表任何个体的变量，如x, y, z。
- 谓词： 表示个体的属性或个体之间的关系，如P(x), R(x, y)。
- 量词：
- 全称量词 (∀)： “对于所有”。
- 存在量词 (∃)： “存在”。
- 逻辑连接词： 与命题逻辑相同。
5.2 量词的使用
-
全称量词： ∀xP(x) 表示对于论域中的所有x，P(x)都成立。
-
存在量词： ∃xP(x) 表示论域中存在一个x，使得P(x)成立。
5.3 量词的辖域和自由变元、约束变元
-
辖域： 量词作用的范围。
-
约束变元： 被量词约束的变元。
-
自由变元： 没有被量词约束的变元。
5.4 一阶逻辑的应用
-
知识表示: 用于构建知识图谱和语义网络。
-
数据库: 用于数据库查询和数据完整性约束。
-
人工智能: 用于自动推理、专家系统和自然语言处理。
六、 总结
- 命题逻辑是逻辑学的基础，但其表达能力有限。
- 复合命题的逻辑连接词是理解和应用命题逻辑的关键。
- 一阶逻辑克服了命题逻辑的局限性，提供了更强大的表达能力。
- 理解命题逻辑和一阶逻辑对于理解和应用计算机科学中的许多概念至关重要。