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