第5章 谓词演算23.pptVIP

5.2 量词交换 5.2 量词交换 5.2.0 概述 前两节讲解了在进行推理前，需要用 US 或 EP 规则销去量词 ?(?x)Fx或?(?x)Fx这样的特殊的命题不可用以上两个规则 全称量词和存在量词可以交换，且可实现在不用以上两规则的条件下完成某些推理 5.2.1 三条规则(一) 这里所有人都是中国人 这里没有人不是中国人 翻译： Ax：这里x是中国人 ( ?x)Ax ?(?x)?Ax 5.2.1 三条规则(二) 有人想吃饭 并非所有人不想吃饭 翻译： Sx：x想吃饭 ?( ?x)?Sx (?x)Sx 5.2.1 三条规则(三) Q1：如果将公式 R中的全称量词(?x)的至少一次出现代之以?(?x)? 而得公式S，那么 S是 R 的导出，即(?x)Fx??(?x)?Fx Q2：如果将公式 R中的全称量词(?x)的至少一次出现代之以?(?x)? 而得公式S，那么 S是 R 的导出，即(?x)Fx??(?x)?Fx 5.2.1 三条规则(四) 以下推理是否合法 (?x)Fx∧Hx→?(?x)?Fx∧Hx (?x)Fx∧?Hx→?(?x)?Fx∧?Hx TE (等值替换合法)规则：如果公式 P 作为公式 R 的部分出现，且公式 Q 重言地等值于 P，若用 Q 代替P在R 中至少一次出现而得S，那么 S 是 R 的导出 5.2.1 三条规则(五) 以下推理是否正确 (?x)Fx∧Hx∧(?x)Fx →?(?x)?Fx∧Hx∧(?x)Fx (?x)Fx∧?Hx∧(?x)Fx →?(?x)?Fx∧?Hx∧(?x)Fx 使用TE规则时，相同的部分公式，可以只替换其中一部分 Q1、Q2和TE不是演算的初始规则，是 P、T、CP、US、EP 等规则的导出 5.2.1 三条规则(六) 例：由(?x)(Fx∧Sx)→(?y)(My→Wy) 和(?x)(Mx∧?Wx)推导出(?x)(Fx→?Sx) {1} (1)(?x)(Fx∧Sx)→(?y)(My→Wy) P {2} (2)(?x)(Mx∧?Wx) P {2} (3)?(?y)?(My∧?Wy) 2Q2 {2} (4)?(?y)(My→Wy) 3TE {1, 2}(5)?(?x)(Fx∧Sx) 1, 4T {1, 2}(6)(?x)?(Fx∧Sx) 5Q2 {1, 2}(7)(?x)(Fx→?Sx) 6TE 5.2 量词交换 5.3.0 概述 当公式既有全称量词，又有存在量词时，由这样的公式做前提的推理稍微复杂一些 为了使这种推理的过程符合准则Ⅰ的要求，即从真前提不准推出假结论，于对我们前面给出的US、UG、EP、EG 规则还要加上一些新的规定，增加一些限制 5.3.0 规则限制(一) 下列推导是否正确 {1} (1) (?x)(?y)xEy P {1} (2) (?y)(x+y)Ey US {1} (3) (?x)(?y)(x+y)Ey UG 下列推导是否正确 {1} (1) (?x)(?y)(x+y)Iy P {2} (2) (?y)(a+y)Iy aEP {2} (3) (?y)(?y)(y+y)Iy EG {1} (3) (?y)(?y)(y+y)Iy ECP 5.3.0 规则限制(一) 限制 1：运用 US 和 EG 时，个体变元的代换必须是合理的 合理代换，即不改变原公式量词的约束关系的代换 5.3.0 规则限制(一) 尝试推导 {1} (1) (?x)(?y)xEy P {1} (2) (?y)xEy 1US {3} (3) xEa aEP2 {3} (4) (?x)xEa 4UG {3} (5) (?y)(?x)xEy 3EG {1} (6) (?y)(?x)xEy 3, 4ECP 正确推导 {1} (1) (?x)(?y)xEy P {1} (2) (?y)xEy 1US {3} (3) xEa axEP2 {3} (4) (?y)xEy x3EG {1} (5) (?y)xEy 3, 4ECP {1} (6) (?x)(?y)xEy 4UG 5.3.0 规则限制(一) 限制 2：运用 EP 规则时，公式中可能有的自由出现的个体变元均应带标记 * * 第 5 章 谓词演算 5.3 量词规则限制 第 5 章 谓词演算 5.3 量词规则限制 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 5.2 量词交换 第 5 章 谓词演算 第 5 章 谓词演算