《普通逻辑学》综合复习资料

## 普通逻辑学 综合复习资料 逻辑学是研究有效推理的基础学科，而普通逻辑学则主要关注命题逻辑，是学习逻辑学的入门阶段。理解其核心概念至关重要。 命题与逻辑符号 命题是表达事实或观点的基本单位。在逻辑学中，我们将命题符号化，以便进行更精确的分析。常见的逻辑符号包括： p, q, r 等代表命题，通常用“真”或“假”表示。 ¬ (非) 表示否定。 ∧ (与) 表示合取（与）。 ∨ (或) 表示合取（或）。 → (蕴含) 表示条件语句（如果...那么...）。 ↔ (等价) 表示双条件等价。 逻辑规则 否定律： ¬(p ∧ q) ≡ ¬p ∧ ¬q 合取律： (p ∧ q) ≡ (¬p ∨ ¬q) 析取律： (p ∨ q) ≡ (¬q ∨ ¬p) 这些规则是构建和分析逻辑表达式的基础。理解这些规则能够帮助我们验证命题的真假性，并推导出新的结论。 真值表 真值表是一种清晰、系统的工具，用于确定命题及其逻辑联结词在所有可能真值组合下的真值情况。通过构建真值表，我们可以更直观地理解逻辑运算的性质。例如，对于“p ∧ q”，其真值表会展示当 p 和 q 都为真时，结果为真；其他情况为假。 应用 普通逻辑学的知识广泛应用于哲学、计算机科学、数学等领域。它不仅能够帮助我们进行严谨的思维训练，也能为计算机程序设计提供理论基础，例如在构建控制逻辑时。 掌握这些基本概念和规则，是进一步学习更复杂的逻辑理论的关键。 展开