第十章 谓词逻辑.pdfVIP

1 第十章 谓词逻辑 在命题逻辑中，命题被当作一个基本的，不可分割的 单位，只研究由原子命题和联接词所组成的复合命题；因 而无法研究命题的内部结构及命题之间内在的联系。本章 介绍的谓词逻辑，对原子命题的成份、结构和原子命题间 的共同特性等作了进一步分析。引入了个体词、谓词、量 词、谓词公式等概念，在此基础上研究谓词公式间的等值 关系和蕴含关系，并且对命题逻辑中的推理规则进行扩充 和进行谓词演绎。 主要内容如下： 10.1 谓词、个体词和量词 10.2 谓词演算公式 10.3 谓词演算的永真公式 10.4 谓词演算的推理理论 2 10.1 谓词、个体词和量词 例 在命题逻辑中 ，对下述论断无法判断其正确性。 “苏格拉底三段论”： 凡人都是要死的， P 苏格拉底是人， Q 所以苏格拉底是要死的。 R (P ∧ Q) →R 类似的例还有许多。 例如： 所有的人都要呼吸, 所有的正整数都大于0, 李莉是人 , 3是正整数, 所以李莉要呼吸。 所以3大于0 。 3 存在的问题和研究的内容 • 例如:李四是大学生,张三也是大学生. • 这是两个存在共同特性的原子命题.然而, 在命题逻辑里只 能用两个原子命题表示, 表示后看不出任何联系. • 为了更深刻、更全面地研究命题及其之间的一些内在关系， 需要对原子命题的成分、结构及其共同特性等进行进一步 的分析。这就是谓词逻辑所有研究的内容。 10.1.1 个体词和谓词 4 在谓词演算中，在陈述句结构上可将原子命题 分解为谓词与个体词两部分。 定义10-1 个体词表示可以独立存在的客体。 注 个体词通常在一个命题里表示思维对象（如主 语、宾语之类的）。个体可以是抽象的，也可是具体的。 定义10 -2 用来刻划个体的性质或个体之间关 系的词称为谓词，刻划一个个体性质的词称为一元 谓词；刻划n个个体之间关系的词称为n元谓词。 例1 （1）李明是学生； （2 ）张亮比陈华高； （3 ）陈华坐在张亮与李明之间。 在这三个命题中，李明、张亮、陈华都是个体词； “…是学生”是一元谓词， “…比…高”是二元谓词， “…坐…与…之间”是三元谓词。 5 命题的表示 例1 （1）李明是学生； （2 ）张亮比陈华高； （3 ）陈华坐在张亮与李明之间。 通常，我们用大写字母表示谓词，小写字母 表示个体。 上述命题可分别表示为 Q （a）, P （b,c ）， R （c,b,a ）。 一般地，由n个个体和n元谓词所组成的命题 可表示为F