第五章 一阶逻辑等值演算与推.ppt

第五章 一阶逻辑等值演算与推理 本章的主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 一阶逻辑推理理论 本章与其他各章的关系 本章的先行基础是前四章 本章是集合论各章的先行基础 5.1 一阶逻辑等值式与置换规则 一、等值式与基本的等值式 第二组：本章新给出 （1）消去量词等值式 D={a1,a2,…,an} ① ?xA(x)?A(a1)?A(a2)?…?A(an) ② ?xA(x)?A(a1)?A(a2)?…?A(an) （2）量词否定等值式 ① ??xA(x)??x?A(x) ② ??xA(x) ??x?A(x) （3）量词辖域收缩与扩张等值式. A(x)是含x自由出现的公式，B中不含x的出现 （4）量词分配等值式 ① ?x(A(x)?B(x)) ? ?xA(x)??xB(x) ② ?x(A(x)?B(x)) ? ?xA(x)??xB(x) 二、置换规则、换名及代替规则 1．置换规则（同命题逻辑） 例 将下面命题用两种形式符号化（1）没有不犯错误的人（2）不是所有的人都爱看电影 解（1）令F(x)：x是人，G(x)：x犯错误. ??x(F(x)??G(x)) ? ?x(F(x)?G(x)) 5.2 一阶逻辑前束范式 一、前束范式与命题公式的前束范式 1．前束范式：定义5.2 设A为一个一阶逻辑公式，若A具有形式 Q1x1Q2x2…QkxkB 则称A为前束范式，其中Qi (1? i ?k)为?或?，B为不含量词的公式. 2. 公式的前束范式 定理5.1（前束范式存在定理） 一阶逻辑中的任何公式都存在与之等值的前束范式（不惟一） 例 求下列公式的前束范式 （1）??x(M(x)?F(x)) （2）?xF(x)???xG(x) （3）?xF(x)???xG(x) （4）?xF(x)??y(G(x,y)??H(y)) （5）?x(F(x,y)??y(G(x,y)?H(x,z))) （2）?xF(x)???xG(x) ? ?xF(x)??x?G(x) （量词否定等值式） ? ?x(F(x)??G(x)) （量词分配等值式） （4）?xF(x)??y(G(x,y)??H(y)) ? ?zF(z)??y(G(x,y)??H(y)) （换名规则） ? ?z?y(F(z)?(G(x,y)??H(y))) （为什么？） 或 ? ?xF(x)??y(G(z,y)??H(y)) （代替规则） ? ?x?y(F(x)?(G(z,y)??H(y))) 5.3 一阶逻辑的推理理论 一、推理的形式结构以及推理正确与错误 1．形式结构： A1?A2?…?Ak?B （*） 其中，A1，A2，…，Ak，B为一阶逻辑公式. 若（*）为永真式，则推理正确. 二、重要的推理定律 三、量词消去或引入规则 2．全称量词引入规则（简记为UG规则或UG） 3．存在量词引入规则（简记为EG规则或EG） 4．存在量词消去规则（简记为EI规则或EI） 四、自然推理系统F 定义5.3 自然推理系统F定义如下： 1．字母表，同一阶语言F的字母表（定义4.1） 2．合式公式，同F合式公式的定义（定义4.4） 3．推理规则： （1）前提引入规则 （2）结论引入规则 （3）置换规则 （4）假言推理规则 （5）附加规则 （6）化简规则 （7）拒取式规则 （8）假言三段论规则 （9）析取三段论规则 （10）构造性二难 五. 在自然推理系统F中构造下列推理的证明例 证明苏格拉底三段论：“人都是要死的，苏格拉底是人，所以苏格拉底是要死的.” 令 F(x)：x是人，G(x)：x是要死的，a：苏格拉底 前提：?x(F(x)?G(x))，F(a) 结论：G(a) 证明：① F(a) 前提引入 ② ?x(F(x)?G(x)) 前提引入 ③ F(a)?G(a) ②UI ④ G(a) ①③假言推理 例 乌鸦都不是白色的. 北京鸭是白色的. 因此，北京鸭不是乌鸦. 令 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)