第2章 谓词逻辑hhs.ppt

An Introduction to Database Systenm 第二章 谓词逻辑 在命题逻辑中，主要研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。 命题逻辑的推理具有很大的局限性，有些简单的论断难以用命题逻辑进行推证。 例如：对于著名的苏格拉底三段论：（1）所有的人都是要死的；（2）苏格拉底是人；（3）苏格拉底是要死的。 不难发现使用命题逻辑无法对上述三段论进行推证。 为了解决这类推理问题，需要对命题内部进行进一步分析，分析其中的个体、谓词、量词，研究它们的形式结构和逻辑关系、正确的推理形式和规则。 这些是谓词逻辑的基本研究内容。 第二章 谓词逻辑 2.1 谓词逻辑的基本概念 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 谓词演算的等价式及蕴含式 2.5 前束范式 2.6 谓词演算的推理理论 2.1 谓词逻辑的基本概念 2.1.1 个体、谓词 2.1.2 命题函数 2.1.3 量词 2.1 谓词逻辑的基本概念 2.1 谓词逻辑的基本概念 2.1 谓词逻辑的基本概念 2.1 谓词逻辑的基本概念 2.1 谓词逻辑的基本概念 例1 在一阶逻辑中将下面命题符号化 (1) 人都爱美 (2) 有人用左手写字 个体域分别为 (a)