大学离散数学《谓词逻辑》课程讲义课件.pptxVIP

离散数学系列离散数学谓词逻辑个体·谓词·量词·符号化·等价式·推理DATE2026年

课程导览01从命题到谓词命题逻辑的局限与谓词逻辑的引入02个体词、谓词与量词基本符号体系的建立03谓词公式与符号化命题符号化的方法与技巧04谓词等价式与范式公式变换与规范形式05谓词推理理论形式化推理与证明能力06易错辨析与综合应用常见误区梳理与综合运用

SECTION01从命题到谓词命题逻辑无法刻画内部结构从整体命题走向个体与谓词的分析

命题逻辑的困境所在命题逻辑把命题当作不可分割的整体，只研究命题之间的真值联结关系p、q、r是三个独立命题，彼此无结构关联结论r无法由p和q的有效形式推出，推理链条在符号层面断裂1所有人都会死符号化为p作为整体处理，内部结构不可见2苏格拉底是人符号化为q作为整体处理，内部结构不可见3苏格拉底会死符号化为r作为整体处理，内部结构不可见命题逻辑「看不见」命题内部的个体与性质

剖析命题的内部结构谓词逻辑将命题拆解为个体词、谓词、量词三部分，使三段论的有效性得以形式化证明。示例命题拆解苏格拉底是人个体（苏格拉底）+谓词（是人）所有人都会死个体+谓词+量词（所有）层逻辑研究的两个层次命题命题逻辑：以命题为最小单位，研究命题间的联结谓词谓词逻辑：以个体、谓词为最小单位，研究命题内部结构

谓词逻辑的地位与意义学习路径预告01概念构建：建立个体词、谓