谓词逻辑-大数据与智能系统试验室.PDF

第 2 章 谓词逻辑 命题逻辑对于反映在自然语言中的逻辑思维进行了精确的形式化描述，能够对一些比较复杂 的逻辑推理，用形式化方法进行分析。在命题逻辑中，把命题分解到原子命题为止，认为原子命 题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。但这对 科学中的演绎推理和数学中的推理是不够的，有些推理用命题逻辑就难以确切地表示出来。 例如，数学中常用的判断：x3, x+y z 等就无法用命题的形式表达出来，因为这两个数学判 断中都含有变量。一般而言，我们不能判断x3 是真还是假。只有我们把变量x 代之以具体的值 时，如以5 代替x 的值时，这是一个真命题；而当x 取值为2 时，就成了一个假命题。因此，对 于含有变量的数学判断通常不能用命题来描述。在自然语言以及某些数学推理中也不能仅用命题 逻辑加以描述和研究。 又如著名的亚里士多德三段论中苏格拉底推理： 所有的人都是要死的。 因为苏格拉底是人， 所以，苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用命题逻辑来表示，设P ，Q，R 分别表示这3 个原子命题，则有：(P ∧Q) →R 。然而，这个式子却不是永真式，故上述推理形式又是错误的。 产生这些问题的根本原因在于命题逻辑仅对复合命题进行研究分析，原子命题作为基本单位 不允许再被分解。因此命题逻辑就不能表达任何两个原子命题内部所具有的共同特点，也不能表 达两者间的差异。即在命题逻辑中是无法对原子命题内部更细微的构造进行分析研究的。然而， 在某些推理中，有必要进一步分析命题与命题之间的逻辑关系，更加深入地分析命题的内部构造。 为此，就需要在原子命题中引入谓词的概念，构造新的模型——谓词逻辑。 2.1 基本概念和表示 在命题逻辑中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两 部分组成。在谓词逻辑中，为揭示命题内部结构及不同命题的内部结构关系，就按照这两部分对 命题进行分析，并且把主语称为个体或者客体，把谓语称为谓词。 2.1.1 个体、谓词和谓词形式 定义 2.1 在原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分， 称为谓词。 个体，是指可以独立存在的事物。它可以是抽象的概念，也可以是一个具体的实体。如计算 25 离散数学 机，自然数，智能，情操等。表示特定的个体，称为个体常元，以 a ，b ，c ，…或带下标的 ai ， bi ，ci ，…表示。 任何个体的变化都有一个范围，这个变化范围称为个体域(或论域)。个体域可以是有限的， 也可以是无限的。所有个体域的总和叫作全总个体域。以某个个体域为变化范围的变元叫个体变 元。以 x ，y ，z ，…或者 xi ，y i ，zi ，…表示。 谓词，当与一个个体相联系时，刻画了个体的性质；当与两个或多个个体相联系时，刻画了 个体之间的关系。通常都用大写英文字母，如 P ，Q ，R ，…来表示。 例如有以下两个命题： 李雷是大学生。 张亮是大学生。 其中“…是大学生”是谓词，“李雷”、“张亮”是个体。谓词在这里是用来刻划个体的性质的。如 用 S(x)表示“x 是大学生”，a 表示李雷，b 表示张亮，则上述两个命题可以表示成 S(a) ，S(b)。 又如命题： 武汉位于北京和广州之间。 其中“…位于…和…之间”是谓词，是用来刻画多个个体之间的关系的。如果用 L(x , y , z)表示“x 位于 y 和 z 之间”，a 表示武汉，b 表示北京，c 表示广州，则上述命题可表示成 L(a, b, c)。以后我 们简称 S(x) ，L(x , y )等谓词和个体的联合体为谓词。 定义 2.2 一个原子命题用一个谓词（