第十一章一阶谓词逻辑
第十一章 一阶谓词逻辑
狭谓词逻辑
狭谓词逻辑
在命题逻辑中，起本质作用的是联结词。联结词的意义和使用规则我们前面已经学习过了。在命题逻辑中主要研究复合命题的逻辑性质和推理关系，复合命题是由简单命题和联结词组成的，它的真假由所含简单命题的真假和所含联结词的意义所确定
在命题逻辑中，起本质作用的是 联结词。联结词的意义和使用规则我 们前面已经学习过了。在命题逻辑中， 主要研究复合命题的逻辑性质和推理 关系，复合命题是由简单命题和联结 词组成的，它的真假由所含简单命题 的真假和所含联结词的意义所确定
简单命题是命题逻辑的基本单位在命题逻辑中，我们并不分析这些基本单位又具有怎样的逻辑特征和结构因此，这使得有些命题之间正确的推理关系在命题逻辑中得不到反映（比如：传统的三段论原则）
简单命题是命题逻辑的基本单位。 在命题逻辑中，我们并不分析这些基 本单位又具有怎样的逻辑特征和结构。 因此，这使得有些命题之间正确的推 理关系在命题逻辑中得不到反映（比 如：传统的三段论原则）
例如：所有金属都是导电体：铁是金属；所以，铁是导电体这是一个正确的推理。但是，在命题逻辑单，它的前提和结论只能处理成不同的简单命题。因此，它的推理形
例如： 所有金属都是导电体； 铁是金属； 所以，铁是导电体。 这是一个正确的推理。但是，在命题 逻辑里，它的前提和结论只能处理成 不同的简单命题。因此，它的推理形
式只能是：Pq所以，r。即：（p，q}上『。显然，这不是命题逻辑中正确的推理形式。但是，这个推理是正确的。然而，它的正确性
式只能是： p， q， 所以， r。 即：﹛p，q﹜├ r。显然，这不是命 题逻辑中正确的推理形式。但是，这 个推理是正确的。然而，它的正确性
却不能在命题逻辑中表现出来。造成这一现象的原因就在于，这个推理的正确性依赖于前提和结论中所含命题的内部结构。因此，要表现这类推理的正确性，就必须建立新系统。在新系统中，我们要对简单
却不能在命题逻辑中表现出来。造 成这一现象的原因就在于，这个推 理的正确性依赖于前提和结论中所 含命题的内部结构。因此，要表现 这类推理的正确性，就必须建立新 系统。在新系统中，我们要对简单
命题作进一步的分析，这种分析也只将简单命题中的个体词、谓词（即关系词）和量词分析出来，从而揭示简单命题的形式结构，研究它们的逻辑性质和规律，使之能更深入地表现实际推理过程
命题作进一步的分析，这种分析也 只将简单命题中的个体词、谓词（即 关系词）和量词分析出来，从而揭示 简单命题的形式结构，研究它们的逻 辑性质和规律，使之能更深入地表现 实际推理过程
本章我们将要学习的狭谓词逻辑也是数理逻辑的基础部分。它将包含命题逻辑作为一个子系统。因此，在狭谓词逻辑中，关于复合命题的逻辑性质及其推理关系的结论仍然成立，但这单学习的重点是量词的逻辑性质及其推理规律
本章我们将要学习的狭谓词逻辑 也是数理逻辑的基础部分。它将包含 命题逻辑作为一个子系统。因此，在 狭谓词逻辑中，关于复合命题的逻辑 性质及其推理关系的结论仍然成立。 但这里学习的重点是量词的逻辑性质 及其推理规律
第一节一阶语言一、一阶语言概述我们的讨论从一阶语言L开始在狭谓词逻辑中，简单命题将得到进一步的分析，将它所含的个体词、谓词和量词等非命题成分分析出来
第一节 一阶语言 一、一阶语言概述 我们的讨论从一阶语言L开始。 在狭谓词逻辑中，简单命题将得到进 一步的分析，将它所含的个体词、谓 词和量词等非命题成分分析出来