普通逻辑 重点笔记

普通逻辑 重点笔记 逻辑学是研究推理的学科，旨在区分有效论证和无效论证。其核心在于对命题、推理规则和论证结构的理解。本文重点梳理普通逻辑中几个关键概念。 命题 (Proposition): 命题是陈述性语句，具有真假之分。真值是命题为真或为假的状态，通常用“T”（True）或“F”（False）表示。例如，“今天下雨了”是一个命题，可以判断为真或假，取决于实际情况。 谓词逻辑 (Predicate Logic): 谓词逻辑是对命题逻辑的扩展，引入了量词——全称量词 (∀) 和存在量词 (∃)。 全称量词 (∀x): “对于所有x，P(x)” 意味着对于所有事物或个体，P(x) 成立。 存在量词 (∃x): “存在一个x，使得P(x)” 意味着至少存在一个事物或个体，使得P(x) 成立。 例如：“对于所有人，都有生命” 是一种包含全称量词的命题。 推理规则 (Inference Rules): 推理规则是用于从前提推出结论的规则。常见的有以下几种： 肯定前件 (Modus Ponens): 如果P，则Q。P为真，则Q为真。 否定后件 (Modus Tollens): 如果P，则Q。Q为假，则P为假。 假言推理 (Fallacy of Affirming the Consequent): Q为真，不一定意味着P为真。 掌握这些基础概念和推理规则是学习普通逻辑的关键。它们为后续学习更复杂的逻辑系统奠定了基础，也帮助我们更好地分析和评估各种论证的有效性。理解真值表对于判断命题真假至关重要。 展开