交大数理逻辑课件3谓词逻辑的等值和推理演算.ppt

调 课 通 知 因下周五(11月12日)为广州亚运会开幕式官方放假时间，数理逻辑课程调到下周三(11月10日) 5,6节在310305课室上课，特告之。 第5章 谓词逻辑的等值和推理演算 5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法 推理规则 (1)前提引入规则 (2)结论引入规则 (3)置换规则 (4)假言推理规则 (A?B)ùA T B (5)附加规则 A T (AúB) (6)化简规则 (AùB) T A (7)拒取式规则 (A?B)ù?B T ?A (8)假言三段论规则 (A?B)ù(B?C) T (A?C) (9)析取三段论规则 (AúB)ù?B T A (10)构造性二难推理规则 (A?B)ù(C?D)ù(AúC) T (BúD) (11)合取引入规则 A, B TAùB 有关量词的推理规则 全称量词消去规则（UI规则） 全称量词引入规则（UG规则） 存在量词引入规则（EG规则） 存在量词消去规则（EI规则） 使用推理规则的推演算举例 前提: (?x)P(x)?(?x)(P(x)∨Q(x))?R(x))， (?x)P(x) 结论： (?x)(?y)(R(x)∧R(y)) 证明： ① (?x)P(x)?(?x)(P(x)∨Q(x))?R(x)) 前提引入 ② (?x)P(x) 前提引入 ③ (?x)(P(x)∨Q(x))?R(x)) ① ② 分离 ④ P(c) ② EI ⑤ (P(c)∨Q(c))?R(c) ③ UI ⑥ P(c)∨Q(c) ④附加规则 ⑦ R(c) ⑤ ⑥分离 ⑧ (?x)R(x) ⑦EG ⑨ (?y)R(y) ⑦EG ⑩ (?x)R(x)∧(?y)R(y) ⑧ ⑨合取规则 ⑾ (?x)(?y)(R(x)∧R(y)) ⑩置换 证明: (?x)(H(x)→M(x))，(?x)H(x)?(?x)M(x) 证明： ① (?x)H(x) 前提引入 ② H(c) ① EI ③ (?x)(H(x)→M(x)) 前提引入 ④ H(c)→M(c) ③ UI ⑤ M(c) ② ④分离 ⑥ (?x)M(x) ⑤ EG 若把①,②写在③,④的后面，得到如下的推理： ① (?x)(H(x)→M(x)) 前提引入 ② H(c)→M(c) ① UI ③ (?x)H(x) 前提引入 ④ H(c) ③ EI ⑤ M(c) ② ④分离 ⑥ (?x)M(x) ⑤ EG 5.6 谓词逻辑的归结推理法 归结证明法的出发点 证明A ? B是定理，等价于证明A∧?B=G是矛盾式 归结证明过程 建立子句集S 将G中的全称量词省略，并将G中的合取词∧用“，”表示，得子句集S 如： (?x)(P(x)∧(?y)(D(y)?L(x,y)))的子句集S为 {P(a), ?D(y) úL(a,y)} 对S作归结 子句：P(x)úQ(x)，? P(a)úR(x) 作归结，得 归结式：Q(a)úR(a) 并将此归结式仍放入S中，重复此过程 直至归结出空子句□，证明结束 归结法证明举例 A1=