这里只是自己对知识点的一个概述和理解,追求的是精简。
一、谓词逻辑基本概念
命题逻辑中命题是最基本的单位,而命题只是真假确定的陈述句,体现不出命题之间的内在联系和数量关系,这导致命题逻辑的推理有很大局限性,不能解决一些更原子更细节的推理,比如苏格拉底三段论:
所有的人都是要死的,苏格拉底是人,所以苏格拉底是要死的。
命题逻辑就解决不了,命题逻辑只能解决类似这样的问题:
我今天要去游泳馆或图书馆,我没去游泳馆,所以我去了图书馆。
总而言之,谓词逻辑是命题逻辑的细分,把命题分成了个体词、谓词和量词,从而表达出个体与总体的内在联系和数量关系,比如人是要死的,苏格拉底是人,这句话‘人’、‘苏格拉底’、‘死’是个体词,‘是’是谓词。
个体词:指所研究对象中可以独立存在的具体或抽象的客体。
谓词(predicate)是用来刻画个体词性质及个体词之间相互关系的词。
量词(quantifiers)是表示个体常项或个体变项之间数量关系的词。 如全称量词 任意 ,存在量词 存在。
例题:
二、谓词逻辑公式
常量和变量 就是元素,函数符号和谓词符号 就是对元素的一种映射关系。
他们都是项。
函数符号比谓词符号宽广,谓词只有是与不是,函数的结果有很多种。
比如:
父亲可能是教授也可能是工程师也可能是学生也可能是博士,这时候用函数符号就比谓词符号方便。
例题:
闭式:
例题:
三、谓词逻辑推理
等值式:
一些重要的等值式:
代换实例:即谓词逻辑等值式的形式
消去量词等值式:
量词否定等值式:
量词辖域收缩与扩张等值式:
量词分配等值式:
例如,“联欢会上所有人既唱歌又跳舞”和“联欢会上所有人唱歌且所有人跳舞”
前束范式:
例题: