离散数学章节练习2KEY讲述.doc

离散数学 章节练习 2 范围： 学号：________________ 姓名： ________________ 一、单项选择题 1. 下列那个公式是永真式： ( ) A (p(r)((p(s) ； B. (p((p)(q C ((xB(x)((x(B(x) D. (p((p)(q 2. 下列公式中正确的等价式是 ( ) A. ((xA(x)((x(A(x) B. ((xA(x)((x(A(x) C. (x(yA(x,y)((y(xA(x,y) D.(x(A(x)(B(x))((xA(x)((xB(x) 3. “人总是要死的”谓词公式表示为 ( ) （论域为全总个体域）M(x)：x是人；Mortal(x)：x是要死的。 A、M(x) (Mortal(x) B、M(x) (Mortal(x) C、(x (M(x) (Mortal(x)) D、(x (M(x) (Mortal(x)) 4.谓词公式(x(P(x)(((y)R(y))(Q(x)中的x ( ) A.只是约束变元。 B. 既是约束变元又是自由变元。 C.既非约束变