第5章一阶逻辑等值演算与推理探索.pptVIP

练习4 4. 在自然推理系统NL 中，构造推理的证明． 人都喜欢吃蔬菜．但不是所有的人都喜欢吃鱼．所以, 存在喜欢吃蔬菜而不喜欢吃鱼的人． 练习4(续) (6) F(y)?G(y) (5)?? (7) F(y) ? ?F(y)?H(y) (4)(6)假言三段论 (8) F(y) ?H(y) (7)置换 (9) ?y(F(y) ?H(y)) (8)?+ (10) ?x(F(x) ?H(x)) (9)置换 (11) ??x(F(x) ?H(x)) 前提引入 (12) 0 (10)(11)合取 第五章 一阶逻辑等值演算与推理 一阶逻辑等值式与置换规则 一阶逻辑前束范式 一阶逻辑的推理理论 知 识 点：谓词演算的等价式与蕴涵式、前束范式、谓词 演算的推理理论 教学要求：深刻理解和掌握谓词逻辑的基本推理方法 教学重点：谓词逻辑中的基本推理方法 学时: 5 §5.1 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 例如：没有不犯错误的人 令 M(x):x是人。 F(x):x犯错误。 则将上述命题的符号化有以下两种正确形式： (1) ┐?x(M(x)∧┐F(x)) (2) ?x(M(x)→F(x)) 等值式的定义 定义5.1 设A，B是一阶逻辑中任意两个公式，若 A?B是永真式，则称A与B是等值的。记做A?B，称 A?B 是等值式。 §5.2 一阶逻辑前束范式 按如下步骤可求得谓词公式的前束析(合)取范式: ⑴ 对约束变元进行换名, 使其互不相同 ⑵ 将谓词公式中的其它联词转化为?, ?, ? ⑶ 将否定词置于量词之后 ┐?xA(x) ? ?x┐A(x) ┐?xA(x) ? ?x┐A(x) ⑷ 将所有量词的辖域扩张到整个公式 ?x(A(x)∨B)??xA(x)∨B ?x(A(x)∧B)??xA(x)∧B ⑸ 将不含量词部分化为析取范式或合取范式 §5.2 一阶逻辑前束范式 例1 求?((?x)P(x)?(?x)Q(x))的前束范式 解: ?((?x)P(x)?(?x)Q(x)) ? ?((?x)P(x)?(?y)Q(y)) 换名 ? ?(?((?x)P(x))?(?y)Q(y)) 消去? ? (?x)P(x)??((?y)Q(y)) 后移? ? (?x)P(x)?(?y)(?Q(y)) 后移? ? (?x)(?y)(P(x)??Q(y)) 前移量词 §5.3 一阶逻辑的推理理论 例5.9. 在自然推理系统N?中，构造下面推理的证明 任何自然数都是整数; 存在着自然数; 所以存在着整数。 个体域为实数集合R。 解:设 F(x):x为自然数，G(x):x为整数 前提: ?x(F(x)→G(x)), ?xF(x) 结论:?xG(x) 证明；① ?x(F(x)→G(x)) ? 前提引入 ② F(x)→G(x) ???????? ? ①?- ③ F(x)→?xG(x) ②?+ ④ ?xF(x)→?xG(x) ③?- ⑤ ?xF(x) ?? ??? 前提引入 ⑥ ?xG(x)????? ? ??? ④⑤假言推理 ┐(F(x)∧H(x))∨(G(x)∧H(x)) ⑧