L谓词逻辑培训讲义.pptVIP

约束变元换名规则 约束变元的名字是无关紧要的. 换名规则:对于公式(?x)A(或(?x)A),设变元y不在A中出现,将A中所有受此量词约束的x出现都换成y得到A?,且量词改成(?y)(或(?y)).得到的公式(?y)A? (或(?y)A? )与原公式等值. 自由变元替换规则 替换规则:对于公式A, x在A中出现,y不在A中出现.将A中所有x的自由出现都换成y,得到A?, 则A? 与A等值. 由PL得到FOL的等值式 定义:设A是含命题变元p1,…, pn的命题逻辑公式, A1,…, An是谓词逻辑公式.对1?i?n,用Ai替换pi的每一处出现,所得谓词逻辑公式A? 称为命题逻辑公式A的替换实例. 定理:命题逻辑的永真式(或永假式)的任何替换实例都是谓词逻辑的永真式(或永假式). 推论:命题逻辑的等值式可经替换得到谓词逻辑的等值式. 例如: ??p ? p ? ??(?x)P(x) ? (?x)P(x) p?q ? ?p ? q ? P(x)?Q(x) ? ?P(x) ? Q(x) 基本等值式(1) 量词的转化 ?(?x)P(x) ? (?x)?P(x) ?(?x)P(x) ? (?x)?P(x) 例: ?(?x)(Animal(x) ? Cat(x))并非动物都是猫 ? (?x)?(Animal(x) ? Cat(x)) ? (?x)(Animal(x) ? ?Cat(x))存在不是猫的动物 基本等值式(2) ?对?, ?对?的分配律 (?x)(P(x)?Q(x)) ? (?x)P(x) ? (?x)Q(x) (?x)(P(x)?Q(x)) ? (?x)P(x) ? (?x)Q(x) ?对?, ?对?没有分配律! 例如: (?x)(Man(x)?Woman(x)) 所有人要么是男人要么是女人. (?x)Man(x)?(?x)Woman(x) 要么所有人都是男人,要么所有人都是女人. 基本等值式(3) 量词对?及?的分配律 (?x)(P(x)?B) ? (?x)P(x) ? B (?x)(P(x)?B) ? (?x)P(x) ? B (?x)(P(x)?B) ? (?x)P(x) ? B (?x)(P(x)?B) ? (?x)P(x) ? B 其中B不含x的自由出现! 或干脆规定B不含x 这个条件很容易满足:对约束变元改名即可. 基本等值式(4) 量词对?的分配律 (?x)(P(x) ? Q(x)) ? (?x)P(x) ? (?x)Q(x) (?x)(P(x) ? B) ? (?x)P(x) ? B (?x)(B ? P(x)) ? B ? (?x)P(x) (?x)(P(x) ? B) ? (?x)P(x) ? B (?x)(B ? P(x)) ? B ? (?x)P(x) 其中B不含x的自由出现! 或干脆规定B不含x 基本等值式(5) 量词交换律 (?x)(?y)P(x, y) ? (?y)(?x)P(x, y) (?x)(?y)P(x, y) ? (?y)(?x)P(x, y) 等值演算 利用基本等值式,进行谓词逻辑的推理. 判断永真式 例: ((?x)P(x)?(?x)Q(x)) ? (?x)(P(x)?Q(x)) ? …… 归结证明过程 1.写出G = A ??B 回忆:为证明A ? B ,可等价地证明A ??B不可满足. 2.建立G的子句集S 将G化成等值的前束范式; 再化成无?前束范式(母式合取范式化)G*; 回忆: G不可满足 iff G*不可满足 再将G*中的?省略,并将G*中的每个简单析取式表示为一个子句,便得子句集S. S中的变元均被?约束 S与G是同不可满足的 Lu Chaojun, SJTU * 推理规则 命题逻辑中的推理演算可推广到谓词逻辑. 推理规则(P规则,T规则,CP规则等)都可直接移入谓词逻辑. 此外,还需引入4条有关量词的推理规则. Lu Chaojun, SJTU * 全称特指规则 US(Universal Specification): (?x)A(x) ? A(y) y是个体变元, A(y)是在A(x)中对x代入y的结果. 左:A对所有个体为真,右:那对任一个体y, A(y)当然为真. 特例:用个体常元代入x.. 要确保引入的y的任意性(即自由变元),因此: 当A(x)中含有量词和其他变元时,需使得y不被量词约束. 例如: (?x)((?z)(xz))在实数上成立,于是(?z)(yz)也成立. 但若将y取为z,便有(?z)(zz),这是矛盾式. Lu Chaojun, SJTU * 存在特指规则 ES(Existential Specification): (?x)A(x) ? A(c) 含义:如果存在个体使A(x)为真,那么就让c是这种个