6谓词逻辑推理(精品·公开课件).ppt

* 量词消去引入规则 4. 存在量词引入消去规则(?+) 或 或 其中x,y是个体变项符号, c是个体常项符号, 且在A中y和c不在?x和?x的辖域内自由出现. B?A(y) ?B??xA(x) B?A(c) ?B??xA(x) A(y) ??xA(x) A(c) ??xA(x) * 自然推理系统NL 定义 自然推理系统NL 定义如下: 1. 字母表. 同一阶语言L 的字母表 2. 合式公式. 同L 的合式公式 3. 推理规则: (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 (5) 附加规则 (6) 化简规则 (7) 拒取式规则 * 自然推理系统NL (8) 假言三段论规则 (9) 析取三段论规则 (10) 构造性二难推理规则 (11) 合取引入规则 (12) ?-规则 (13) ?+规则 (14) ?-规则 (15) ?+规则 推理的证明 * 四、谓词演算例 例5 在自然推理系统NL 中构造下面推理的证明, 取个体域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) ④⑤假言推理 * 构造推理证明的实例 例6 在自然推理系统NL 中构造下面推理的证明, 取个体域R: 不存在能表示成分数的无理数. 有理数都能表示成分数. 所以, 有理数都不是无理数. 解 设F(x):x是无理数, G(x):x是有理数, H(x):x能表示成分数. 前提: ??x(F(x)?H(x)), ?x(G(x)?H(x)) 结论: ?x(G(x)??F(x)) 证明: ① ??x(F(x)?H(x)) 前提引入 ② ?x(?F(x)??H(x)) ①置换 ③ ?x(F(x)??H(x)) ②置换 ④ F(x)??H(x) ③?- * 构造推理证明的实例 ⑤ ?x(G(x)?H(x)) 前提引入 ⑥ G(x)?H(x) ⑤?- ⑦ H(x)??F(x) ④置换 ⑧ G(x)??F(x) ⑥⑦假言三段论 ⑨ ?x(G(x)??F(x)) ⑧?+ * 重要提示 要特别注意使用?-、?+、?-、?+规则的条件. 反例1. 对A=?x?yF(x,y)使用?-规则, 推得B=?yF(y,y). 取解释I: 个体域为R, 在I下A被解释为?x?y(xy), 真; 而B被解释为?y(yy), 假 原因: 在A中x自由出现在?y的辖域F(x,y)内 反例2. 前提: P(x)?Q(x), P(x) 结论: ?xQ(x) 取解释I: 个体域为Z, 在I下前提为真, 结论为假, 从而推理不正确 * 反例2(续) “证明”: ① P(x)?Q(x)