离散数学练习题答案.pdfVIP

真诚为您提供优质参考资料，若有不当之处，请指正。 一、选择题 1．下列四个公式正确的是 ①x(A(x)B(x))xA(x)xB(x) ②x(A(x)B(x))xA(x)xB(x) ③x(A(x)B(x))xA(x)xB(x) ④xA(x)xB(x)x(A(x)B(x)) A.①③ B.①④ C.③④ D.②④ 2. 谓词公式x(P(x)yR(y))Q(x)中量词x 的辖域是( ) (A) x(P(x)yR(y)) (B)P(x) (C) P(x)yR(y) (D) Q(x) 3. 谓词公式xP(x)(xQ(x)xQ(x))的类型是（ ） (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 蕴涵式 4. 设个体域为整数集，下列公式中其真值为1的是( ) (A) xy(xy0) (B) yx(xy0) (C)xy(xy 0) (D) xy(xy 0) 5. 设个体 A{a,b}，公式xP(x)xS(x)在中消去量词后应为 ( ) (A) P(x)S(x) (B) P(a)P(b)(S(a)S(b)) (C) P(a)S(b) (D) P(a)P(b)S(a)S(b) 6. 在谓词演算中，下列各式正确的是( ) (A) xyA(x,y)yxA(x,y) (B) xyA(x,y)yxA(x,y) (C) xyA(x,y)xyA(x,y) (D) xyA(x,y)yxA(x,y) 7.下列各式不正确的是( ) (A) x(P(x)Q(x))xP(x)xQ(x) (B) x(P(x)Q(x))xP(x)xQ(x) (C) x(P(x)Q(x))xP(x)xQ(x) (D) x(P(x)Q)xP(x)Q 1 / 5 真诚为您提供优质参考资料，若有不当之处，请指正。 P(a, a) P(a, b) P(b, a) P(b, b) 8. 设I 是如下一个解释：D ＝{a,b}, 1 0 1 0 则在解释I 下取真值为1 的公式是( ). (A) xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 9. 设个体变元x, y, z 的论域都为自然数集合，P(x, y, z) : xyz, Q(x, y, z)：xyz, R(x, y) : xy ，则以下命题中（ ）是假命题. A ．xP(x, 0, x) B ．xyP(x, y, y) C ．xyQ(y, x, x) D ．xR(x,0) 10. 下面不是命题的是（ ） A ．xP(x) B ．(x)P(x) C ．(x)P(x) P(y) D ．(x)(y)(P(x) R(y)) 11 公式(x)P(x) (x)Q(x) 的前束范式为（ ） A ．(x)(y)(P(x) Q(y)) B ．(x)(y)(P(x) Q(y)) C ．(x)(y)(P(x) Q(y)) D