第3章 谓词逻辑.ppt

3.1 谓词逻辑概述 谓词逻辑是命题逻辑的扩充，是数理逻辑的一部分。谓词逻辑包含了命题逻辑的全部内容，此外，还包含对命题中个体对象的性质和个体对象之间关系的描述及推理。在谓词逻辑中，简单命题不再是最小的研究单位。简单命题可分解为更小的成分：个体词和谓词。谓词逻辑主要研究命题中涉及到的全体对象与特定对象、部分对象与特定对象及全体对象与部分对象之间的逻辑关系。 个体 个体是一个哲学概念，指可独立存在的对象，类似于集合的元素。在谓词逻辑中，个体是指所要讨论的某个领域中的对象。 个体常量：具体的特定的个体词 个体变元： 抽象的泛指的个体词 个体论域：表示个体所在范围的集合 全总个体域：逻辑中所涉及的所有个体 谓词 用于描述个体对象的性质或个体对象之间的关系的词称为谓词 ，表示为P、Q…… 布朗是一个学生 x与y是同学 x与y具有关系L 量词 用于描述个体变元量化特征的词称为量词 所有人都呼吸. 有的人吸烟. 全称量词 ：表示个体变元取遍个体论域中的每一个值的量词称为全称量词 量词 所有的、任意的、一切的、每一个 有些、至少有一个、某一些、存在 3.2 谓词公式 3.3 用谓词公式表示命题 用谓词公式表示命题的方法，也叫做在谓词逻辑中将命题符号化。 所有的汽车都比马车跑得快 令 P( x) 表示：x 是汽车； Q( y) 表示： y 是马车； G( x, y) 表示：x 比 y 跑得快。 马丽的父亲与苏珊的父亲是同事 F( x) 表示：x的父亲 P( x, y) 表示： x 和 y 是同事 a表示玛丽，b表示苏珊 原命题表示为：P( F(a), F (c)) 例3.2 用谓词公式表示下列命题（不含量词）： (1) 3是素数。 (2) 2是奇数。 (3) 张明和刘浩是同学。 (4) 李岚是长跑冠军。 例3.3 用谓词公式表示下列命题： (1) 2是素数且是偶数。 (2) 如果杨庆是北京大学的学生，陈明也是北京大学的学生，那么杨庆与陈明是校友。 例3.4 用谓词公式表示下列命题： (1) 每个计算机系的学生都学离散数学。 (2) 有人喜欢吃苹果。 例3.5 用谓词公式表示下列命题： 所有人都吃饭 存在不吃饭的人 (2) 没有不吃饭的人 (1)兔子比乌龟跑得快． (2)有的兔子比所有的乌龟跑得快． (3)并非所有的兔子比所有的乌龟跑得快． 设F(x): x是兔子, G(y):y是乌龟， H(x,y): x比y跑得快. (1) ?x?y(F(x)?G(y)→H(x,y)) (2) ?x(F(x)??y(G(y)→H(x,y))) (3)??x?y(F(x)?G(y)→H(x,y))或?x?y(F(x)?G(y)??H(x,y)) (1)存在小于５的奇数 (2)并非每个实数都是有理数 (3)没有不犯错误的人 (4)参加考试的人未必都能取得好成绩． (5)尽管有人聪明，但未必一切人都聪明． (3) ??x(M(x)??F(x))或?x(M(x)→F(x)) 　　　 其中M(x): x是人, F(x): x犯错误 (4) ??x(F(x)→G(x))或?x(F(x)??G(x)) 　　　 其中F(x): x是参加考试的人, G(x): x取得好成绩. (5) ?x(M(x)?P(x)) ???x(M(x)→P(x)) 其中M(x): x是人, P(x): x聪明 3.4 谓词公式的解释 3.5 谓词公式的等值演算 定理3.1 重言式的所有代换实例都是永真式，矛盾式的所有代换实例都是矛盾式。 推论3.1 命题逻辑中的所有等值式的代换实例都是谓词逻辑中的等值式，所以命题逻辑中的所有等值演算方法都可在谓词逻辑中使用。 例如： 谓词公式等值演算方法 谓词公式的前束范式 求前束范式 进行谓词公式的等值演算 对个体变元换名，使其不重名 否定词后移 量词前移 3.7 谓词逻辑的自然演绎推理 【自然演绎推理】 谓词逻辑中的自然演绎推理是直接运用谓词逻辑中的推理规则由已知条件推出结论的过程。自然演绎推理更接近人们的思维习惯。数学定理的证明基本上都是采用自然演绎推理的方法进行推导的。 【几个重要的推理定律】 下面的等值式和永真蕴涵式称为推理定律，它们可作为推理的依据。 (1) (2) (3) (4) (5) (6) 逻辑学中著名的苏格拉底三段论： 凡人都是要死的. 苏格拉底是人. 所以苏格拉底是要死的. 悉停君扩拓庸眷杰到峦镰隆目谤百贫谴蛮奈付捷焙讳愧度虞纷者卿膜滞抄第3章 谓词逻辑第3章 谓词逻辑 稗拾九缔扯惦床碗轧献眺保浑倦直候契观哺书环汽镰破揍待萄阔溶诱崩索第3章