没有进一步研究命题的内部结构,因而在实际应用中存在很.pptVIP

解：(?x)Q(x, z)中x 是作用变元， ?的辖域为Q(x, z)，其中 x 约束出现，z自由出现； (3) (?x)(P(x) ? (?x)Q(x, z)?(?y)R(x, y))?Q(x, y) ； (?y)R(x, y)中，y是作用变元， ?的辖域为R(x, y)，其中y约束出现，x自由出现； 在(?x)(P(x)?(?x) Q(x,z)?(?y)R(x, y)) 中，作用变元为x，?的作用域为 (P(x)?(?x)Q(x, z) ?(?y)R(x, y)), 但Q(x, z)中的x不是?的作用变元，x, y均为约束出现，z自由出现； 在整个公式中，x约束出现3次，自由出现1次，y约束出现1次，自由出现1次，z自由出现1次。 Q(x, y)中，x, y为自由变元。 三、谓词公式的改写 考虑到谓词公式中，有的个体变项既可以约束出现，又可以自由出现，为避免这种双重性，以引起混淆，我们要将谓词公式进一步改写，改写规则如下： 1. 换名规则： 将量词作用域中出现的某个约束出现的个体变项及对应的指导变项改成另一个作用域中没有出现过的个体变项符号，公式的其余部分不变。 2. 代替规则： 对某自由出现的个体变项用与原公式中所有个体变项符号不同的变项符号去代替，且处处代替。 (1) (?x)(P(x)?(?y)R (x,y)) ； (2) (?x)(?y)(P(x,y)?Q(y,z))?(?x)P(x,y) ； (3) (?x)(P(x)?(?x)Q(x,z)?(?y)R(x,y))?Q(x,y) ； 换名规则与代替规则可避免有的个体变项既可以约束出现，又可以自由出现。试对例2.6的公式换名或代入(？) 解：(1) 不用改写 (2) 第一步换名: (?x)(?y)(P(x,y)?Q(y,z))?(?u)P(u,y) ； 第二步代替: (?x)(?y)(P(x,y)?Q(y,z))?(?u)P(u, v) ； (3) 第一步换名: (?x)(P(x)?(?u)Q(u,z)?(?y)R(x,y))?Q(x,y) 第二步代替: (?x)(P(x)?(?u)Q(u,z)?(?y)R(x,y))?Q(s, t) 谓词公式的赋值： 将谓词公式中包含的命题变元用命题常元取代，将公式中包含的个体变元由确定的个体取代。 谓词公式赋值后就是具有确定真值的命题。 四、谓词公式的赋值 谓词合式公式的指派(或解释) 一组使合式公式成为具有确定真值的命题的确定的个体(在一定的个体域上)和命题。 永真合式公式：任一组指派皆使公式真值为1 永假合式公式： (?) 可 满 足 式： (?) 判定问题 等价合式公式：任一组指派，真值相同 A?B 蕴涵：A?B?T (T为永真式)，记作A?B 例2.6 求下列谓词公式的真值： (?x)(P(x)?Q(x))，其中P(x)：x = 1，Q(x)：x = 2，且个体域 E = {1，2}； 当个体域是有限集时，如D ={a1,a2,……an} (?x)A(x)?A(a1)?A(a2)?……?A(an) 则：(?x)A(x)?A(a1)?A(a2)?……?A(an) 从而谓词公式的真值等价于命题公式的真值。 解题思想 解： (?x)(P(x)?Q(x))?(P(1)?Q(1)?(P(2)?Q(2)) ?(T?F)?(F?T) ? F?T ? F 其中T与F分别代表正确与错误。 例2.7 设个体域E＝{1，2} ，根据下列三张表求谓词公式 (?x)(?y)(P(x)?Q(f (f (x)), y))的真值。 f (1) f (2) 2 1 P(1) P(2) F T Q(1,1) T T Q(1,2) Q(2,1) Q(2,2) F T 解： (?x)(?y)( P(x)?Q( f (f (x)), y)) ? (?x)((P(x)?Q(f (f (x)),1)))?(P(x)?Q(f (f (x)),2))) ? (T?F)?(T?F) ? (T?F) ? F ? (P(1) ?Q(f (f (1)),1) ?P(1) ?Q(f (f (1)),2))? (P(2) ?Q(f (f (2)),1) ?P(2) ?Q(f (f (2)),2)) ? (F?Q(1,1)?F?Q(1,2))?(T?Q(2,1)?T?Q(2,2)) §2.3 谓词逻辑等价式及前束范式 一、谓词演算中常见等价式： (I) 命题公式的推广 24个常用的命题演算等值式及其代换可推广到谓词演算中使用， 2. (?x)P(x)?(?y)R(x