离散数学L5谓词逻辑2解析.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