【数理逻辑与集合论】第二章 谓词逻辑

这里只是自己对知识点的一个概述和理解，追求的是精简。

一、谓词逻辑基本概念

命题逻辑中命题是最基本的单位，而命题只是真假确定的陈述句，体现不出命题之间的内在联系和数量关系，这导致命题逻辑的推理有很大局限性，不能解决一些更原子更细节的推理，比如苏格拉底三段论：
所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。
命题逻辑就解决不了，命题逻辑只能解决类似这样的问题：
我今天要去游泳馆或图书馆，我没去游泳馆，所以我去了图书馆。

总而言之，谓词逻辑是命题逻辑的细分，把命题分成了个体词、谓词和量词，从而表达出个体与总体的内在联系和数量关系，比如人是要死的，苏格拉底是人，这句话‘人’、‘苏格拉底’、‘死’是个体词，‘是’是谓词。

个体词：指所研究对象中可以独立存在的具体或抽象的客体。
谓词（predicate）是用来刻画个体词性质及个体词之间相互关系的词。
量词（quantifiers）是表示个体常项或个体变项之间数量关系的词。 如全称量词 任意 ，存在量词 存在。

例题：

二、谓词逻辑公式

常量和变量 就是元素，函数符号和谓词符号 就是对元素的一种映射关系。
他们都是项。

函数符号比谓词符号宽广，谓词只有是与不是，函数的结果有很多种。
比如：
父亲可能是教授也可能是工程师也可能是学生也可能是博士，这时候用函数符号就比谓词符号方便。


例题：

闭式：
例题：

三、谓词逻辑推理

等值式：

一些重要的等值式：
代换实例：即谓词逻辑等值式的形式

消去量词等值式：

量词否定等值式：


量词辖域收缩与扩张等值式：

量词分配等值式：

例如，“联欢会上所有人既唱歌又跳舞”和“联欢会上所有人唱歌且所有人跳舞”

前束范式：

例题：