离散数学L4谓词.pptVIP

可满足的公式 如果一个谓词公式在某个解释下为真,则称为可满足的. 例如: (?x)P(x) 取D为{交大09新生}, P为“高考成绩大于0” :-) (?x)P(x) 取D为{交大09新生}, P为“是女生” :-) Lu Chaojun, SJTU * 不可满足的公式 如果一个谓词公式在任一解释下都为假,则称为不可满足的. 例如: (?x)(P(x) ? ?P(x)) (?x)P(x) ? (?y)?P(y) 定理: 公式? 普遍有效 iff ?? 不可满足 Lu Chaojun, SJTU * 公式在有限域上的真假性 公式若在某个k-个体域上普遍有效(或可满足),则在任何k-个体域上都普遍有效(或可满足). 即在有限域上,公式的普遍有效性和可满足性仅依赖于个体域的大小. 公式若在k-个体域上普遍有效,则在(k?1)-个体域上也普遍有效.(大永真推出小永真) 公式若在k个体域上可满足,则在(k+1)-个体域上也可满足.(小可满足推出大可满足) Lu Chaojun, SJTU 判定问题 判定问题(Entscheidungsproblem,或decision problem):是否有一个算法,它以某个形式语言的语句(公式)为输入,判断其真假并产生T或F作为输出. Hilbert于1928年提出,但可回溯到Leibniz. 算法必须是能行的(effective),即可机械地逐步进行,在有穷步内完成. ChurchTuring(1936-37):算术系统是不可判定的. Lu Chaojun, SJTU 判定问题(续) 常常特指FOL的判定问题:即算法地判定一阶逻辑公式是否普遍有效. 命题逻辑是可判定的. 用真值表法可判定是否重言式(永真公式). 谓词逻辑是不可判定的. 只含有一元谓词变项的公式是可判定的. 如下两型的公式是可判定的. (?x1)…(?xn)?(x1,…,xn), (? x1)…(? xn)?(x1,…,xn) 个体域有穷时,谓词公式是可判定的. Lu Chaojun, SJTU * End *Lu Chaojun, SJTU *Lu Chaojun, SJTU 谓词逻辑的基本概念 Lu Chaojun, SJTU 本章主要内容 谓词 量词 一阶谓词公式 自然语句的形式表示 公式的解释及真假性 Lu Chaojun, SJTU 谓词逻辑与命题逻辑的区别 命题逻辑:简单命题是分析的基本单元,不再对简单命题的内部结构进行分析. 例如P:“柏拉图是人”和Q:“亚里士多德是人”是两个相互独立的命题,看不出P和Q有什么联系. 谓词逻辑(predicate logic):深入到简单命题的内部进行更精细的分析(例如主谓结构). 例如用谓词Man( )表示“…是人”,则上面两个命题可表示为Man(Plato)和Man(Aristotle).这样能看出两命题有联系. Lu Chaojun, SJTU 对命题的进一步分析 日常语言的陈述句包含主语和谓语 例如:“亚里士多德是人”,主语(“亚里士多德”)是述说的对象,谓语(“是人”)描述主语的属性或关系. 谓词逻辑用个体词描述对象,用谓词表达谓语:如Man(Aristotle), Man(Plato). 又如:“人是动物”,主语“人”就不适合看成个体了,因为“人”是类概念. 适合理解成:“对任何个体x:若x是人,则x是动物”.所以涉及两个谓词Man( )和Animal( )间的蕴涵. Lu Chaojun, SJTU 为什么需要谓词逻辑? 可描述更丰富的推理形式. 例如下面这个推理用命题演算就无法描述. 人皆有死. P 苏格拉底是人. Q ?苏格拉底会死. R 本章介绍一阶谓词逻辑,它基本上覆盖了人们在数学和日常生活中用到的推理. Lu Chaojun, SJTU 个体词 个体词(individual)表示思维对象. 个体常项:例如Socrates,Plato,Aristotle. 个体变项:表达一般情形. 所有个体构成论域(domain of discourse). 也叫个体域. 不特别指明的话,包括一切事物. 当讨论真假性时,往往指明特定论域. 论域是所有个体变项的变化范围. Lu Chaojun, SJTU 谓词 谓词(predicate)描述个体的属性以及个体之间的关系. 例如: 柏拉图是人. ? Man(Plato) 亚当喜欢夏娃. ? Likes(Adam,Eve) A在B和C之间. ? Between(A,B,C) 谓词常项:有确切的意义,如Man( ). 谓词变项:表达任一谓词. Lu Chaojun, SJTU 谓词的变目个数 用一元谓词描述个体的属性. 如前面的Man(x) 用多元谓词描述个