离散数学(屈婉版)第二章习题答案.docVIP

2.13 设解释I为：个体域DI ={-2,3,6},一元谓词F（X）：X(3，G（X）：X5,R(X):X(7。在I下求下列各式的真值。 （1）(x(F(x)(G(x)) 解：(x(F(x)(G(x)) ((F(-2) (G(-2)) ((F(3) (G(3)) ((F(6) (G(6)) (((-2(3) ((-25)) (((3(3) ((35)) (((6(3) ((65)) (((1 (0))(((1 (0)) (((0 (0)) (0(0(0 (0 (2) (x(R(x)(F(x))(G(5) 解：(x(R(x)(F(x))(G(5) ((R(-2)(F(-2))( (R(3)(F(3))( (R(6)(F(6))( G(5) (((-2(7) ((-2(3))( (( 3(7) ((3(3))( (( 6(7) ((6(3)) ( (55) ((1 (1)( (1 (1)( (1(0) ( 0 (1( 1( 0 ( 0 (0 (3)(x(F(x)(G(x)) 解：(x(F(x)(G(x)) ((F(-2) ( G(-2)) ( (F(3) (G(3)) ( (F(6) (G(6)) (((-2(3) ( (-25)) ( ((3(3) ( (35)) ( ((6(3) ( (65)) ((1 ( 0) ( (1 ( 0) ( (0 ( 1) (1 ( 1 ( 1 (1 2.14 求下列各式的前束范式，要求使用约束变项换名规则。 （1）xF(x)→yG(x,y) (2) （xF(x,y) yG(x,y) ） 解：（1） xF(x)→yG(x,y) xF(x)→ yG(z,y) 代替规则 xF(x)→yG(z,y) 定理2.1（2 ） x(F(x) →yG(z,y) 定理2.2（2）③ xy(F(x) →G(z,y)) 定理2.2（1）④ （2） （xF(x,y) yG(x,y) ） (zF(z,y) tG(x,t)) 换名规则 (zF(z,y) )(tG(x,t) ) zF(z,y) tG(x,z) z (F(z,y) tG(x,z)) z t(F(z,y) G(x,t)) 2.15 求下列各式的前束范式，要求使用自由变项换名规则。（代替规则） （1） xF(x)∨$yG(x,y) ?xF(x) ∨$yG(z,y) 代替规则 ?x（F(x) ∨$yG(z,y)） 定理2.2（1）① ?x$y（F(x) ∨G(z,y)） 定理2.2（2）① （2） $x(F(x) ∧yG(x,y,z)) →$zH(x,y,z) ?$x(F(x) ∧yG(x,y,t)) →$zH(s,r,z) 代替规则 ?$xy (F(x) ∧G(x,y,t)) →$zH(s,r,z) 定理2.2（1）② ?x（y (F(x) ∧G(x,y,t)) →$zH(s,r,z)） 定理2.2（2）③ ?x$y（(F(x) ∧G(x,y,t)) →$zH(s,r,z)） 定理2.2（1）③ ?x$y$z（(F(x) ∧G(x,y,t)) →H(s,r,z)） 定理2.2（2）④ 2.17构造下面推理的证明。 前提 ：$xF(x)→y((F(y)∨G(y))→R(y)) $xF(x) 结论：$xR(x) 证明：① $xF(x) 前提引入 ② F（c） EI ③ y((F(y)∨G(y))→R(y)) 前提引入错了 ④ F（c）∨G(c) →R(c) UI F（c）→(F（c）∨G(c) →R(c)) 前提引入错了 F（c）∨G(c) →R(y) 假言推理②⑤ R(c) 假言推理②⑥ $xR(x) EG 应改为： ① $xF(x) 前提引入 ② $xF(x)→y((F(x)∨G(y))→R(y)) 前提引入 ③ y((F(x)∨G(y))→R(y)) ①②假言推理 ④ F（c）