离散数学6-2.docVIP

06任务_0012 试卷总分：100? ? ? ?测试时间：0 单项选择题? 一、单项选择题（共?10?道试题，共?100?分。） 1.??下列等价公式成立的为( )． A. (P((Q(P(Q B. P(((Q(P) ((P((P(Q) C. Q((P(Q) ((Q((P(Q) D. (P((P(Q) (Q 2.??设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为 ． A. (A(a)(A(b)(A(c))((B(a)(B(b)(B(b)) B. (A(a)(A(b)(A(c))((B(a)(B(b)(B(b)) C. (A(a)(A(b)(A(c))((B(a)(B(b)(B(b)) D. (A(a)(A(b)(A(c))((B(a)(B(b)(B(b)) 3.??设A（x）：x是人，B（x）：x是工人，则命题“有人是工人”可符号化为（ ）． A. (x)(A(x)(B(x)) B. ((x)(A(x)(B(x)) C. (((x)(A(x)(B(x)) D. ((x)(A(x)((B(x)) 4.??设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A. B. C. D. 5.??下列等价公式成立的为(??? )． A. (P(P ((Q(Q B. (