MicrosoftOffice用户-第五章等值演算与推理.ppt

5.1 等值式与置换规则 例：求下面公式的前束范式 ?xF(x)??y(G(x,y)?H(x,y)) 5.1 等值式与置换规则 使用代替规则: ?xF(x)??y(G(x,y)?H(x,y)) ? ?xF(x)??y(G(z,y)?H(z,y)) ? ?x(F(x)??y(G(z,y)?H(z,y)) ? ?x?y(F(x)?(G(z,y)?H(z,y))) 作业 5 12 13 * 第五章: 等值演算与推理 本章的主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 本章与其他各章的关系 本章的先行基础是前四章 本章是集合论各章的先行基础 第一节：等值式与置换规则 等值式：公式A，B的等价式A?B为永真式 符号：A?B，也称A逻辑恒等于B 5.1 等值式与置换规则 第一类等值式：命题逻辑的重言式的代换实例 理由：重言式的代换实例都是永真式 例 ?x F(x) ? ? ? ?x F(x) F(x) ? G(x) ? ? F(x) ? G(x) ??A?A A? B ? ? A ? B 5.1 等值式与置换规则 第二类等值式： 消去量词等值式 给定有限个体域 D={a1,a2,…,an} 2. 量词否定等值式 x在公式A(x)中自由出现 ?x A(x) ? A(a1) ? A(a2) ?… ? A(an) ?x A(x) ? A(a1) ? A(a2) ? … ? A(an) ??x A(x) ? ?x ? A(x) ??x A(x) ? ?x ? A(x) 5.1 等值式与置换规则 例：设个体域为D＝{a, b, c}，将下面公式的量词消去 ?x F(x) ? ?y G(y) ?(?x F(x) ? ?y G(y)) ? (F(a) ? F(b) ? F(c)) ? (G(a) ? G(b) ? G(c)) ? ?x ? F(x) ? ?y ? G(y) (? F(a) ? ? F(b) ? ? F(c)) ? (? G(a) ? ? G(b) ? ?G(c)) 5.1 等值式与置换规则 第二类等值式： 量词辖域收缩与扩张等值式 x在公式A(x)中自由出现，但不在B中自由出现 (1a) ?x (A(x) ? B) ? ?x A(x) ? B (1b) ?x (A(x) ? B) ? ?x A(x) ? B (1c) ?x (A(x) ? B) ? ?x A(x) ? B (1d) ?x (B ? A(x)) ? B ? ?x A(x) (2a) ?x (A(x) ? B) ? ?x A(x) ? B (2b) ?x (A(x) ? B) ? ?x A(x) ? B (2c) ?x (A(x) ? B) ? ?x A(x) ? B (2d) ?x (B ? A(x)) ? B ? ?x A(x) 5.1 等值式与置换规则 第二类等值式： 4. 量词分配等值式 x在公式A(x)和B(x)中自由出现 (2) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) (1) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) (3) ?x (A(x) ? B(x)) ? ?x A(x) ??x B(x) 5.1 等值式与置换规则 下列等值式不成立！ x在公式A(x)和B(x)中自由出现 (2) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) (1) ?x (A(x) ? B(x)) ? ?x A(x) ? ?x B(x) 提示：任意实数，或者是有理数或者是无理数 或者任意实数是有理数，或者任意实数是无理数 提示：存在实数，既是有理数又是无理数 存在实数是有理数，并且存在实数是无理数 5.1 等值式与置换规则 置换规则：给定φ(A) 若 A ? B ，则φ(A) ? φ(B) 换名规则： ?x A(x) ? ?x’ A(x’)，x’不在A中出现 ?x A(x) ? ?x’ A(x’)，x’不在A中出现 代替规则 A(x) ? A(x’)，x’不在A中出现 5.1 等值式与置换规则 例：消去既是约束出现又是自由出现的变项 ?x F(x,y,z) ? ?y G(x,y,z) ?x (F(x,y) ? ?y G(x,y,z)) ? ?t F(t,y,z) ? ?y G(x,y,z) ? ?t F(t,y,z) ? ?w G(x,w,z) ? ?x