2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

本节将采用逻辑推理方法讨论几个颇为有趣的问题

一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

1. 命题及其符号表达 2. 命题的逻辑性质 3. 命题推理 4. 命题演算

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

1. 词项 2. 直言命题 3. 直言推理 4. 三段论

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第五、六章 复合命题及其推理（上、下）

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第三、四章 简单命题及其推理（上、下）