离散数学（屈婉玲版）第二章习题答案.docxVIP

离散数学（屈婉玲版）第二章习题答案 2.13 设解释I为：个体域DI ={-2,3,6},一元谓词F（X）：X（X）：X5,R(X):X（1） 解： x(F(x)x(F(x)(F(-2) ((-2((1 00 (2) x(R(x) F(x)) G(5) G(5) F(3)) (( 3 (R(6)7) (3 F(6))3)) 03) 7。在I下求下列各式的真值。 3，G G(x)) G(x)) G(-2)) (F(3) ((3((0 G(3)) 3) (F(6) (35)) 0)) G(6)) ((6 3) (65)) (-25)) 0)) 0))((1 0 解：x(R(x)(R(-2)((-2 F(x)) F(-2)) (R(3)7) (-2 3)) G(5) 7) (( 6 (63)) (55) (1 10 1) 1 (1 0 1) 0 (1 0) 0 (3)解： x(F(x)x(F(x) G(x)) G(x)) (F(3) ((3 (0 G(3)) 3) 1) (F(6) (35)) G(6)) ((6 3) (65)) (F(-2) ((-2(1 G(-2)) 3) (-25)) (1 0) 0) 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) 代替规则 ? ?x?F(x)→?yG(z,y) 定理2.1（2 ） ? ?x(?F(x) →?yG(z,y) 定理2.2（2）③ ?x?y(?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) ) ?z?F(z,y) ??t?G(x,z) ?z (?F(z,y) ??t?G(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) 代替规则 ??x?y (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构造下面推理的证明。 （1） 前提 ：?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) 假言推理②⑤