离散数学 第七章_课后习题解答.docVIP

第七章 谓词逻辑 P285： 作业：3、5、8 1、 （1）(?(x))(S(x)?G(x)) 其中S(x)：x是运动员。 G(x)：x是大学生。 （2）??(x)(S(x)?G(x)) 其中 S(x)：x是运动员。 G(x)：x是大学生。 （3） ?(?x)( W(x)?A(x)?B(x)) 其中W(x)：x是女同志。 A(x)：x是国家选手。 B(x)：x是家庭妇女。 （4） (?x)( D(x)?B(x)?C(x)) 其中D(x)：x是狗。 B(x)：x是黑色的。 C(x)：x很聪明。 2、 （1）所有不能被2整除的数都是奇数。 （2）存在能被3整除的偶数。 （3）存在奇数是素数，但并非所有奇数都是素数。 3、 （1）令D(x)：x是数。 B(x,y)：x与y的和大于x乘y。 命题等价于：?x?y((D(x)?D(y)?B(x,y)) （2）令I(x)：x是整数。 A(x,y)：x2=y。 命题等价于：(?x)(?y)(I(x)?I(y)?A(x,y)) 4、 （1）令 P(x)：x是素数。 E(x)：x是偶数。 命题等价于：?(?x)(P(x)??E(x)) （2）令 I(x)：x是整数。 Q(x)：x是有理数。 ?(?x)(Q(x)??I(x)) ? ?(?x)(Q(x)? I(x)) 5、 (1) (?x)(P(x)?Q(x)) ? (P(1)?Q(1)) ? (P(2)?Q(2)) ? (P(3)?Q(3)) (2) (?x)(?y)R(x,y) ? (?x)(R(x,1) ? R(x,2) ? R(x,3)) ? (R(1,1) ? R(1,2) ? R(1,3)) ? (R(2,1) ? R(2,2) ? R(2,3)) ? (R(3,1) ? R(3,2) ? R(3,3)) (3) (?y)(?x)R(x,y) ? (?y) (R(1,y) ? R(2,y) ? R(3,y)) ? (R(1,1) ? R(2,1) ? R(3,1)) ? (R(1,2) ? R(2,2) ? R(3,2)) ? (R(1,3) ? R(2,3) ? R(3,3)) 6、 (1) 约束变元：x；自由变元：y。 (2) 约束变元：x； (3) (?x)(?y)(P(x) ? Q(y)) ? (?x)R(x,y) x是约束变元； (?x)(?y)(P(x) ? Q(y))中的变元y是约束变元。 (?x)R(x,y)中的变元y是自由变元。 7、 (1) (?x)(P(x,y) ?Q(x)) ? R(x,y) 对约束变元x换成变元z，可得：(?z)(P(z,y) ?Q(z)) ? R(x,y) (2) (?x)(P(x) ? Q(x,y)) ? R(x,y) 对约束变元x换成变元z，可得：(?z)(P(z) ? Q(z,y)) ? R(x,y) 8、 (1) (?y)(P(x) ? R(x,y)) 将自由元x进行代入可得：(?y)(P(z) ? R(z,y)) (2) (?y)(P(x) ?Q(x,y)) ? R(x,y) 将自由元x和y分别进行代入可得：(?y)(P(z) ?Q(z,y)) ? R(z,s) P 291: 1、 (1) (?x)P(x) ??(?x)Q(x) ?(?x)(P(x) ??Q(x)) 证明：(?x)P(x) ??(?x)Q(x) ?(?x) P(x) ?(?x)?Q(x) ?(?x)(P(x) ??Q(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)P(x) ? (?x)Q(x) ? ? (?x)P(x) ? (?x)Q(x) ? (?x)?P(x) ? (?x)Q(x) (3) (?x) (?A(x) ?B(x)) ? (?x)A(x) ? (?x)(B(x) ?A(x)) 证明：(?x) (?A(x) ?B(x)) ? (?x)A(x) ? ? ((?x)?A(x) ?(?x)B(x)) ?(?x)A(x) ? ?(?x)?A(x) ? ?(?x)B(x)) ?(?x)A(x) ? (?x)A(x) ? (?x) ?B(x)) ?(?x)A(x) ? (?x) (?B(x)) ?A(x)) ? (?x)(B(x) ?A(x)) (4) (? (?x)?P(x)) ? (?x)(P(x) ?Q(x)) ? (?x)P(x) ? (?x)Q(x) 证明：(? (?x)?P(x)) ? (?x)(P(x) ?Q(x)) ? (?x)P(x)? (?x)(P(x) ?Q(x)) ? (?x)P(x)? (?x)(P(x) ?Q(x)) ? (?