离散第13讲谓词演算基本概念技朮方案.ppt

第13讲 谓词演算基本概念 命题演算的局限 所有人都是要死的，苏格拉底是人，那么苏格拉底也是要死的。 p：所有人都是要死的 q：苏格拉底是人 r：苏格拉底是要死的 p∧q┝r：p∧q→r为永真式吗？ 命题演算的局限 p：所有人都是要死的 q：苏格拉底是人 r：苏格拉底是要死的 示例 2是偶数 4是偶数 p: 2是偶数;q:4是偶数 p、q是两个独立的原子命题 模式是：（ ）是偶数 O(x)：x是偶数 p: 2是偶数，可以表示成：O（2） q: 4是偶数，可以表示成：O（4） 示例 6大于4 5大于3 2大于5 三个独立的原子命题，在命题演算中不能再分解 模式是：（ ）大于（ ）,大于是两个数之间的关系 L（x，y）：“x大于y” 6大于4 ，可以表示成：L（6，4） 5大于3 ，可以表示成： L（5，3） 2大于5 ，可以表示成： L（2，5） 示例 3+2=5 2+4=8 两个独立的原子命题，在命题演算中不能再分解 模式是：（ ）+（ ）=（ ） 刻画的是三个数之间的关系 S（x，y，z）：x + y=z 3+2=5 ，可以表示成： S（3，2，5） 2+4=8 ，可以表示成： S（2，4，8） 谓词演算基本概念 内容提要 谓词演算基本概念 个体、个体域 谓词 全称量词、存在量词 约束变元、自由变元 谓词公式 自然语句的形式化 个体与个体域、个体项 出现在空位处的量或变元叫做个体（或客体），它是谓词演算中讨论的对象 不确定的个体称为个体变元（variables），如x，y，z，…，确定的称为个体常元（常个体）（constants），例如张华，5，3，… 个体与个体域、个体项 讨论对象——个体的全体称为个体域（domain of individuals），常用字母D表示。约定任何D都至少含有一个成员 当讨论对象遍及一切客体时，个体域特称为全总域（universe），用字母U表示 表示个体域上个体间运算的运算符与个体常元、变元组成个体项（terms），例如a+b、x2+2、f(x)等 谓词 （predicate） 刻画个体（或客体）的性质，或个体之间的关系的模式称之为谓词 谓词是由谓语和空位所组成的，一个空位是一元谓词，两个空位是二元谓词，三个空位是三元谓词 为增强可读性，常用变元来代替空位，如H(x)，L（x，y），S（x，y，z）等，这些式子叫做谓词命名式，简称谓词 谓词命名式中的变元仅仅是谓词形式表示的一部分，没有独立意义 谓词填式 在谓词的空位处填入具体的个体常元或变元后得到一个关于该个体的语句，这时它被称为谓词填式，如M(scorates)，R(x)等 当谓词填式中所填个体都是常元时，得到一个命题，有确定的真值 H(x): x是学生 H（张华）：张华是学生； R(x,y,z): x+y=z R(1,2,3)：“1+2=3”，命题为真 谓词是以个体域或它的一部分为定义域，以{0，1}为值域的一个函数 问题 问题 量词 全称量词(universal quantifier) 全称量词(universal quantifier) 存在量词(existential quantifier) 存在量词(existential quantifier) 谓词公式（predicate formula） 定义：以下条款规定的符号串称谓词公式，简称公式 (1)谓词填充式是公式，命题常元是公式(看作零元谓词)； (2)如果A，B是公式，x为任一变元，那么(┐A)，(A→B)，(?xA)，(?x A) 当使用五个联结词时还有(A∧B)，(A∨B)，(A?B)都是公式； (3)只有有限步使用(1)，(2)条款所形成的符号串是公式 括号省略原则同命题公式： 省掉最外面的括号 联结词的结合能力强弱为┐、(∧、∨)、→、? 结合能力平等的联结词从左到右运算 谓词公式 谓词公式的真值 设D为实数域，E(x，y)表示D上的关系“x=y”，L(x，y)表示“x y”，则有 否定 谓词公式的表述 P(x)：x每天花2小时学习英语，x的个体域是学生的集合 ?xP(x) ?x┐P(x) ?xP(x) ?x┐P(x) ┐?xP(x) ┐?xP(x) 谓词的自然语句形式化 例5.4 有人勇敢，但不是所有的人都勇敢 B(x)：x是勇敢的 ?x B(x) ∧ ┐ ?x B(x) 我为人人， 人人为我 H(x,y)：x为(帮助)y ?x H(我,x) ∧ ?x H(x,我) 勇敢者未必都是成功者 B(x)：x是勇敢的 S(x)：x是成功的 ┐?x (B(x) →S(x)) 谓词的自然语句形式化 由于确定了个体域，语句的形式化相对简单 当语句涉及不同类的