逻辑导论（第三版）：逻辑推理-谓词演算PPT教学课件.pptxVIP

第五章逻辑推理：谓词演算

第五章逻辑推理：谓词演算第一节概述在命题逻辑中，复合命题由简单命题和逻辑联结词结合而成，命题公式由命题变项和逻辑联结词组成。命题逻辑不对简单命题的结构进行分析，在命题逻辑中简单命题是最小的单位。命题逻辑仅对简单命题的联结方式（即复合命题的结构）以及命题联结词的逻辑性质进行分析。因此，命题逻辑只能解决复合命题推理的有效性判定和推导问题。在不涉及简单命题的内部结构时，命题逻辑的工具是够用的。在涉及简单命题的内部结构时，命题逻辑的工具就不够用了。命题逻辑是命题联结词的逻辑，简单命题的内部结构无法在命题逻辑框架内加以分析。但是，基于简单命题的逻辑性质进行推理在日常思维中是常见的，因此，对简单命题的内部结构进行分析是必要的。

第五章逻辑推理：谓词演算第二节谓词逻辑公式：形式语言ＱL一、个体词、谓词、量词在命题逻辑中，人们所用的符号只有：（１）命题变项：ｐ，ｑ，ｒ，……（２）逻辑联结词：。命题逻辑的语言是贫乏的，它不足以表达自然语言最基本的逻辑特征。谓词逻辑在命题逻辑语言基础上，引进了个体词、谓词和量词。谓词逻辑运用逻辑联结词、个体词、谓词和量词来表达自然语言的语句。个体词就是语句中表示主体或客体（统称个体）的词项。特指确定个体的个体词称为个体常项，用ａ，ｂ，ｃ