第11讲谓词逻辑推理.pptVIP

一阶逻辑等值式(来源) 命题逻辑等值式的代换实例 与变项命名有关的 换名规则 代替规则 与量词有关的 有限个体域量词消去 量词否定 量词辖域收缩与扩张 量词分配 相同量词的交换 前束范式 设φ为一谓词公式，如果φ具有如下形式：　　　Q1x1Q2x2...QnxnB其中Qi(1≤i≤n)为?或?，B 为不含量词的公式，则称φ为前束范式 前束范式存在定理 定理：任意一个谓词公式，都存在着一个等值的前束范式。 (注：利用换名规则或代替规则以及上述所提及的等值式可知，任意公式都有其前束范式(存在性)，但并不唯一.) 例1 ?xA(x,y) ? ?yB(y) ? ?xA(x,y) ? ?zB(z) ? ?x?z(A(x,y) ? B(z)) 一阶逻辑推理规则(定义) 推出： A?B 读作：A推出B 含义：A为真时, B也为真 A?B 当且仅当 A?B是永真式 例如： ?xF(x) ? ?xF(x) 一阶逻辑推理规则(来源) 命题逻辑推理规则的代换实例 基本等值式生成的推理规则 其他的一阶逻辑推理规则 ?xA(x)∨?xB(x) ? ?x(A(x)∨B(x)) ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)→B(x)) ??xA(x)→?xB(x) ?x(A(x)→B(x)) ??xA(x)→ ?xB(x) ? 一阶逻辑推理规则(举例) 命题逻辑推理规则的代换实例 例如: 假言推理规则: (A→B )∧A?B 代入 A=F(a), B=G(a), 得到 (F(a)→G(a))∧F(a)?G(a) 一阶逻辑推理规则(举例、续) 基本等值式生成的推理规则 即由 A?B 可得 A?B 和 B?A 例如: 量词分配等值式: ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) 可得 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?xA(x)∧?xB(x) ? ?x(A(x)∧B(x)) 一阶逻辑的常用推理规则 前提引入、结论引入、置换规则 假言推理、附加、化简、拒取式、假言三段论、析取三段论、构造性两难、合取引入 US、UG、ES、EG 4条新的推理规则 全称量词指定规则(US) 全称量词引入规则(UG) 存在量词指定规则(ES) 存在量词引入规则(EG) US规则(universal instantiation) 表示为 ?xA(x) ?xA(x) ———— 或 ———— ? A(y) ? A(c) 注意1: x,y是自由变项； c是个体常项 注意2: 在A中x不在?y和?y的辖域内自由出现 注意3: 被消去量词的辖域是整个公式 例如 (1) ?x(F(x)→G(x)) 前提引入 (2) F(a)→G(a) (1)US 示例1 设解释I为：个体域为全体整数集合，F(x,y)表示xy (1) ?x ?yF(x,y) 前提引入 (2) ?yF(y,y) (1)US 此例错误的原因是违反注意2 示例2 (1)?xF(x)→ G(y) 前提引入 (2) F(y)→G(y) (1)US 设解释I为：个体域为全体自然数集合，F(x)表示x是偶数，G(x) x是奇数 此例错误的原因是违反注意3 UG规则(universal generalization) 表示为 A(x) ———— ? ?xA(x) 注意1: x是自由变项,且不在前提的任何公式中自由出现 注意2: 量词加在整个公式前面 例如 (1) F(x)→G(x) 前提引入 (2) ?x(F(x)→G(x)) (1)UG 示例3 (1) F(x)→G(x) 前提引入 (2) F(x) 前提引入 (3) G(x) (1)(2)假言推理 (4) ?xG(x) (3)UG 设解释I为：个体域为全体整数集合，F(x)表示x是偶数，G(x)表示x可被2整除 此例错误的原因是违反注意1，即在前提中x表示的是偶数，在推出的结论中仍用x则x表示全体整数，就变成x是偶数推出