第四章 谓词演算的推理理论-永真推理系统专用课件.pptVIP

公理16-19? 怎么语言解释△(P?P)? 是否是指P?P的全称封闭式是永真的? 公理16-19? 怎么语言解释△(P?P)? 是否是指P?P的全称封闭式是永真的? 利用全称量词消去规则，可以得到： ?xP(x)? P(x) P(x)??x P(x) △(?? P(x))├△(???x P(x)) 能不能理解为: △(?x(??P(x))) ? (???xP(x)))永真? △(P(x)??)├△(?x P(x)??) 能不能理解为: △(?x(P(x) ? ?) ?(?xP(x)??)) 永真 规则是讲如何从永真公式得到新的永真公式. 即要构造一串公式。 在本例中, △?(x)非前提假设(有别于假设推理系统) 问题: (1) △P(x)=△?xP(x) ? 此等式应该成立. 如果成立, 例1的证明是否就没有必要了? (2) 能不能将此规则理解为 △(P(x) ??xP(x))永真 ? 两次运用调头公理2即可以。 例 试利用全1规则求证 全2规则 △(?1?(?2??(x))) ├ △(?1?(?2??x?(x))) 证明： (1) △(?1?(?2??(x))) (2) △(?1??x(?2??(x))) 对于(1)全1规则 (3) △((?1??x(?2??(x))) ?((?x(?2??(x)) ? (?2??x?(x))) ? (?1?(?2??x?(x))))) 公理3 (4) △((?x(?2??(x)) ? (?2??x?(x))) ? (?1?(?2??x?(x)))) 分离(2)(3) (5) △(?x(?2??(x))) ? (?2??x?(x))) 全1规则的一种理解,见 练习4.1(1), 其证明应用了全2规则。欠妥！ (6) △(?1?(?2??x?(x))) 分离(4)(5) 练习4.1(1) 练习4.1(1) 练习4.1(1) 练习4.1(2) 练习4.1(2) 练习4.1(2) 第四章 谓词演算的推理理论 4.1 谓词演算的永真推理系统 4.1.1 公理系统的组成部分 4.1.2 公里系统的推理过程 4.2谓词演算的假设推理系统 4.3谓词演算的归结推理系统 4.1.1 公理系统的组成部分 一、语法部分 (一) 基本符号 (二) 公理 (三) 规则 二、语义部分 三、关于公理的几点说明 （一） 基本符号 公理系统所允许出现的全体符号的集合。 (1) 命题变元：P，Q，R，……等字母表示命题变元 (2) 个体变元：x，y，……等小写字母表示个体变元 (3) 谓词变元：X，Y，……等大写字母表示谓词变元 (4) 联结词：?、?、?、?、?是联结词 (5) 量词：全称量词?、存在量词? (6) 括号：(，)是括号 (7) 全称封闭符：△ 基本符号（续） (8) 合式公式： (i) 原子命题P是合式公式； (ii) 谓词填式A(x1，x2，x3，…，xn)是合式公式； (iii) 若A是公式，则?A是合式公式； (iv) 若A和B是合式公式，则 (A?B)，(A?B)，(A?B)，(A?B)为公式； (v) 若A是合式公式，x是A中出现的任何个体变元， 则?xA(x)，?xA(x)为合式公式； (vi) 只有有限次使用(i)、(ii)、(iii)、(iv)、(v)所得到的式子才是合式公式。 基本符号（续） (9) 全称封闭式：设?为含有n个自由变元的公式，如果在?前用全称量词把n个自由变元约束起来后所得到的公式，称为?的全称封闭式。记为△?。 例 写出下式的全称封闭式 ?=?xP(x，y)??uQ(u，v) 解： △? =△(?xP(x，y)??uQ(u，v)) =?y?v(?xP(x，y)??uQ(u，v)) （二） 公理 公理1 △(P?P) 公理2 △((P?(Q?R))?(Q?(P?R))) 公理3 △((P?Q)?((Q?R)?(P?R))) 公理4 △((P?(P?Q))?(P?Q)) 公理5 △((P?Q)?(P?Q)) 公理6 △((P?Q