第5章 谓词演算01.pptVIP

5.0 全称量词 5.0 全称量词 5.0.0 概述 本章将研究即有关含有量词的推理理论，称之为谓词演算 由于本章所研究的推理量词全部是关于个体变项的，而不讨论关于谓词及命题变项的量词，因而它又称狭义谓词演算 谓词演算包括全称量词推理和存在量词推理 5.0.1 量词推理步骤 处理包含量词的推理都有以下四个步骤： 第一，把给定的前提符号化 把自然语言的语句翻译成带有量词的公式 第二，销掉量词 销掉量词的目的，在于按照命题演算的方法进行推理 如何销掉量词，需要按规则进行 第三，运用命题演算的方法求得不带量词的结论这是整个推理的重要过程 需用命题演算的方法谨慎地推演 第四，添加量词得到最终的结论 第三步已经得到了不带量词的结论 在谓词演算中，最终结论是带有量词的公式 当然也有不带量词的公式，比如包含专有名词的推理 5.0.2 全称量词演算(一) 所有动物都有死，所有人都是动物，所以所有人都有死 设： Ax： x是动物，Mx： x有死，Hx： x是人， 译： {1} (1)(?x)(Ax→Mx) {2} (2)(?x)(Hx→Ax) 第一步 {1} (3)Ax→Mx 据(1) {2} (4)Hx→Ax 据(2) 第二步 {1,2} (5)Hx→Mx 据(3)(4) 第三步 {1,2} (6)(?x)(Hx→Mx) 据(5) 第四步 销掉全称量词(?x)：对所有 x成立，那么对任何一个 x也都成立 5.0.2 全称量词演算(二) 全称量词演算二规则： 销掉全称量词规则(全称列举规则)US：如果在公式 R 中用词项 t代替变项 V 的每一自由出现，使得从公式 R 中得到公式 S，则 S 是(?)R 的导出 添加全称量词的规则叫全称概括规则，缩写为 UG：只要变项 V 在 S 中是不带标记的，那么从公式 S 就可导出(V)S 5.0.2 全称量词演算(三) 带标记：一变项是带标记的当且仅当它在前提中是自由出现的 在前提依据 P 前边写上该自由变项 前提中的自由变项，不仅在该前提中带标记，而且在依赖于该前提的任何一行中都应带标记 5.0.2 全称量词演算(四) 由?x(Ax→Mx)和?x(Hx→Ax) 推导出(?x)(Hx→Mx) {1} (1)?x(Ax→Mx) P {2} (2)?x(Hx→Ax) P {1} (3)Ax→Mx (1)US {2} (4)Hx→Ax (2)US {1,2}(5)Hx→Mx (3)(4)T {1,2}(6)?x(Hx→Mx) (5)UG 5.0.2 全称量词演算(五) 例 2：由前提(?x)(Px→?Wx)和(?y)(Oy→Wy) 推导出(?x)(Px→?Ox) {1} (1)(?x)(Px→?Wx) P {2} (2)(?y)(Oy→Wy) P {1} (3)Px→?Wx US {2} (4)Ox→Wx US {5} (5)Px xP {1, 5} (6)?Wx x(4)(7)T 分离律 {1, 2, 5} (7)?Ox x(5)(8)T 分离律 {1, 2} (8)Px→?Ox (8)(10)CP {1, 2} (9)(?x)(Px→?Ox) UG 5.0.2 全称量词演算(六) 例 3：由(?x)((Ex∨Px)→?Ux)和Ua 推导出?Ea {1} (1)(?x)((Ex∨Px)→?Ux) P {2} (2)Ua P {1} (3)Ea∨Pa→?Ua (1)US {1,2}(4) ?(Ea∨Pa) (2)(3)T {1,2}(5) ?Ea∧?Pa (4)T {1,2}(6) ?Ea (5)T 5.0.4 小结 只要为了推理方便，在销去量词(US)时，原公式的变项 x、y、z虽然不同，但同时可变成我们所需的词项 结论为专名时，不必另作 UG US、UG 规则是相对只含有全称量词的推理而言 5.0 全称量词 5.1.0 概述 本节只讨论存在量词和全称量词不出现于同一命题中的谓词推理 不出现类似(?x)(?y)(xy)的命题 要么只带全称量词，要么只带存在量词 5.1.1 存在量词演算(一) 存在量词演算三规则： 销去存在量词的规则 EP ：由前提(?v)R 的启发引进假设前提 S 添加存在量词的规则(存在概括规则)EG：如