式只能是：Pq所以，r。即：（p，q}上『。显然，这不是命题逻辑中正确的推理形式。但是，这个推理是正确的。然而，它的正确性
式只能是： p， q， 所以， r。 即：﹛p，q﹜├ r。显然，这不是命 题逻辑中正确的推理形式。但是，这 个推理是正确的。然而，它的正确性
却不能在命题逻辑中表现出来。造成这一现象的原因就在于，这个推理的正确性依赖于前提和结论中所含命题的内部结构。因此，要表现这类推理的正确性，就必须建立新系统。在新系统中，我们要对简单
却不能在命题逻辑中表现出来。造 成这一现象的原因就在于，这个推 理的正确性依赖于前提和结论中所 含命题的内部结构。因此，要表现 这类推理的正确性，就必须建立新 系统。在新系统中，我们要对简单
命题作进一步的分析，这种分析也只将简单命题中的个体词、谓词（即关系词）和量词分析出来，从而揭示简单命题的形式结构，研究它们的逻辑性质和规律，使之能更深入地表现实际推理过程
命题作进一步的分析，这种分析也 只将简单命题中的个体词、谓词（即 关系词）和量词分析出来，从而揭示 简单命题的形式结构，研究它们的逻 辑性质和规律，使之能更深入地表现 实际推理过程
本章我们将要学习的狭谓词逻辑也是数理逻辑的基础部分。它将包含命题逻辑作为一个子系统。因此，在狭谓词逻辑中，关于复合命题的逻辑性质及其推理关系的结论仍然成立，但这单学习的重点是量词的逻辑性质及其推理规律
本章我们将要学习的狭谓词逻辑 也是数理逻辑的基础部分。它将包含 命题逻辑作为一个子系统。因此，在 狭谓词逻辑中，关于复合命题的逻辑 性质及其推理关系的结论仍然成立。 但这里学习的重点是量词的逻辑性质 及其推理规律
第一节一阶语言一、一阶语言概述我们的讨论从一阶语言L开始在狭谓词逻辑中，简单命题将得到进一步的分析，将它所含的个体词、谓词和量词等非命题成分分析出来
第一节 一阶语言 一、一阶语言概述 我们的讨论从一阶语言L开始。 在狭谓词逻辑中，简单命题将得到进 一步的分析，将它所含的个体词、谓 词和量词等非命题成分分析出来