离散数学L4谓词逻辑1讲述.pptVIP

项 谓词逻辑的项递归定义如下: (1)个体常元和个体变元是项; (2)若f是n元个体函数,t1,…,tn是n个项,则f(t1,…,tn)是项; (3)所有项都是通过有限次使用(1)(2)而生成. 约束变元和自由变元(续) 在公式中x可能出现多次,可能既有约束出现又有自由出现. 例如: (?x)P(x)?Q(x)中,变元x的前两个出现是约束出现,第三个出现是自由出现. 约束变元的名字不重要(后文有约束变元更名规则).因此上面的公式与(?y)P(y)?Q(x)等值. 包含自由变元的公式一般不能计算出真值,必须对自由变元作出解释(赋值)后才可.而约束变元则无需解释. 普遍有效式 如果一个公式在任一解释下都为真,则称为普遍有效的(universally valid). 普遍有效公式反映了一般逻辑规律. 例如: (?x)(P(x) ? ?P(x)) (?x)P(x) ? P(y) ((?x)P(x) ? (?x)Q(x)) ? (?x)(P(x) ? Q(x)) Lu Chaojun, SJTU * 不可满足式 如果一个公式在任一解释下都为假,则称为不可满足的. 例如: (?x)(P(x) ? ?P(x)) (?x)P(x) ? (?y)?P(y) 定理: 公式A普遍有效 iff ?A 不可满足 Lu Chaojun, SJTU * 可满足式 如果一个公式在某个解释下为真,则称为可满足的. 例如 :-) (?x)P(x) 取D为{交大新生}, P为“高考成绩大于0” (?x)P(x) 取D为{交大新生}, P为“是女生” Lu Chaojun, SJTU * End *Lu Chaojun, SJTU *Lu Chaojun, SJTU 谓词逻辑 一 Lu Chaojun, SJTU 主要内容 谓词与量词 谓词公式 等值演算 范式 谓词逻辑推理 归结法推理 Lu Chaojun, SJTU 谓词逻辑与命题逻辑的区别 命题逻辑:简单命题是分析的基本单元,不再对简单命题的内部结构进行分析. 例如a:“柏拉图是人”和b:“亚里士多德是人”是两个相互独立的命题,看不出a和b有什么联系. 谓词逻辑(predicate logic):深入到简单命题的内部进行更精细的分析,即其主谓结构. 例如用谓词Man(x)表示“x是人”,则上述命题a和b可表示为Man(Plato)和Man(Aristotle).这样能看出两命题有联系. Lu Chaojun, SJTU 对命题的进一步分析 日常语言的陈述句包含主语和谓语. 例如:“亚里士多德是人”,主语(“亚里士多德”)是述说的对象,谓语(“是人”)描述主语的属性或关系. 谓词逻辑用个体词描述对象,用谓词表达谓语:如Man(Aristotle), Man(Plato). 又如:“人是动物”,主语“人”就不适合看成个体了,因为“人”是类概念. 适合理解成:“对任何个体x:若x是人,则x是动物”.所以这个命题涉及两个谓词Man( )和Animal( )间的蕴涵. Lu Chaojun, SJTU 为什么需要谓词逻辑? 可描述更丰富的推理形式. 例如下面这个推理用命题逻辑无法描述. 人皆有死. a 苏格拉底是人. b ?苏格拉底会死. c 用谓词逻辑可以很好地描述. 我们介绍的是一阶谓词逻辑(FOL),它基本上覆盖了人们在数学和日常生活中用到的推理. Lu Chaojun, SJTU 个体 个体(individual)是指独立存在的客体,可以是具体事物,也可以是抽象概念. 个体常元:确定的个体,如Socrates, Plato. 个体变元:不确定的个体. 所有个体构成论域(domain of discourse). 也叫个体域. 不特别指明的话,论域囊括一切事物. 当讨论真假性时,往往指明特定论域. 论域是所有个体变元的变化范围. Lu Chaojun, SJTU 谓词 谓词(predicate)描述个体的属性以及个体之间的关系. 例如: 柏拉图是人. ? Man(Plato) 亚当喜欢夏娃. ? Likes(Adam,Eve) A在B和C之间. ? Between(A,B,C) Lu Chaojun, SJTU 谓词的变目个数 用一元谓词描述个体的属性. 如前面的Man(x) 用多元谓词描述个体间的关系. 关于n个个体的谓词称为n元谓词. 如前面的二元谓词Likes(x,y) 有0元谓词? 命题可视为0元谓词! 是独立于任何个体变元的陈述句. 故谓词逻辑是命题逻辑的推广. Arity/Adicity nullary/medadic unary/monadic binary/dyadic ternary/triadic n-ary mul