离散数学(屈婉玲版)第二习题答案.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）