离散数学复件Lecture课件.pptVIP

谓词逻辑 谓词逻辑 谓词逻辑是命题逻辑的扩展，能对实体集合进行精确地推理。 命题逻辑将简单命题当作原子命题 谓词逻辑会区分命题中的谓词和主语 谓词逻辑的应用 形式化描述数学中的定义、公理和定理 形式化描述复杂系统 自动定理证明器 人工智能 …… 主要内容 1.??符号集（变元、谓词和量词） 2.??语法构成、语义解释 3.? 语义证明方法 4.??永真式判定算法 符号集 谓词逻辑 谓词逻辑是命题逻辑的扩展，能对实体集合进行精确地推理。 命题逻辑将简单命题当作原子命题 谓词逻辑会区分命题中的谓词和主语 命题的主语是命题的思维对象 命题的谓语表示思维对象的属性及其关系 表示个体思维对象的属性及其关系的形式符号称为谓词 一元谓词 n元谓词 全称量词 ?x读作‘对任意x’ (?x) (P(x))表示 ‘对一切x, P(x)为真’ (?x)(?P(x))表示 ‘对一切x, ?P(x)为真’ ?(?x) (P(x)) 表示 ‘并非对任意x, P(x)是真’ 存在量词 ?x读作‘至少有一个x’，‘存在一个x’ (?x) (P(x)) 表示 ‘存在一个x，使P(x) 为真’ (?x)(?P(x)) 表示 ‘存在一个x，使?P(x) 为真’ ? (?x) (P(x))表示 ‘并非存在一个x，使P(x)为真’ 例 如果R(x,y)表示“x依靠y”，列出下列公式的含义： ?x(?y R(x,y))= ?y(?x R(x,y))= ?x(?y R(x,y))= ?y(?x R(x,y))= ?x(?y R(x,y))= 词性翻译 名词：专有名词、普通名词、被名词所有格或物主代词修饰 代词：人称代词、指示代词 形容词： 动词： 数量词：全体概念、部分概念 副词： 连词： 例 并非 所有的 书 大家都 喜欢 连词 数量词 名词 数量词 动词 ?(?x)(Book(x)?(?y)(Man(y) ?Love(y, x))) 这家 店 供应 一切 简易 用具 指示代词 名词 动词 数量词 形容词 名词 Shop(a) ? (?x)(Simple(x) ? Tool(x)?Supply(a, x)) 例 对任意正数? 0，皆有正数? 0，当0 |x –a| ?时，都有|f(x) – b| ?。 Real(x)：x是实数 Bigger(x, y)：x大于y（即xy） Minus(x, y)：x-y的差（即x-y） ABS(x)：x的绝对值（即|x|） 例 他和她讨论问题 (?x) (Problem(x) ? Discuss(a, b, x)) 我去电影院，仅当电影院上映大片 (?x)(Cinema(x)?Goto(a, x)? (?y)(Good(y) ?Play(x, y))) 他在办公室或家里 (At(a, Office(a))?At(a, Home(a)))? ?(At(a, Office(a))?At(a, Home(a))) 例 没有不犯错误的人 某些人对某些食物过敏 尽管有人聪明，但未必一切人聪明 X、Y和Z为实数，如果XY，并且Z 0，那么XYYZ 每个建筑物都有一些装饰品 例 P：今天天气好 Q：入学考试准时进行 A(x)：x是考生 B(x)：x提前进入考场 C(x)：x取得良好成绩 E(x, y)：x等于y（即x=y） (1)如果今天天气不好，就一定有些考生不能提前进入考场 (2)如果所有考生提前进入考场，那么入学考试可以准时进行 (3)并非所有提前进入考场的考生都能取得良好成绩 (4)有且仅有一个提前进入考场的考生未取得良好成绩 语法构成、语义解释 例 P(f(x), y) f(x, y, z) (P(x)?Q(y, a)) ?(?x)P(x, y) ((?x)P(y)? (?Q(y))) (?x)P(a, b, f(c)) 例 (?x)P(x)→Q(x) (?x)的辖域是P(x) (?x)(P(x, y)→Q(x, y) ) ? P(y, z) (?x)的辖域是P(x, y)→Q(x, y) 例 指出下列谓词公式中的自由变元和约束变元。并指明量词的辖域： 1、(?x)(P(x) ? R(x))→(?x)P(x) ? Q(x) 2、(?x)P(y) 3、(?x) (?y)(P(x, y) →Q(y)) 在一个公式中，一个变元既可以约束出现，又可以自由出现。为避免混淆可用改名规则对约束变元改名。（上例1） 例 (