2014年离散数学形成性考核作业6答案.docVIP

1.??下列公式成立的为( )． A. (P((Q ( P(Q B. P((Q ( (P(Q C. Q(P ( P D. (P((P(Q)(Q 2.??设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )． A. 0, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 1, 0, 0 3.??命题公式(P(Q)(Q为(????? ) A. B. 可满足式 C. 重言式 D. 合取范式 4.??下列公式 ( )为重言式． A. (P((Q(P(Q B. (Q((P(Q)) (((Q((P(Q)) C. (P(((Q(P))(((P((P(Q)) D. ((P((P(Q)) (Q 5.??下列公式中 ( )为永真式． A. (A((B ( (A((B B. (A((B ( ((A(B) C. (A((B ( A(B D. (A((B ( ((A(B) 6.??下列等价公式成立的为(??? )． A. (P(P ((Q(Q B. (Q(P(P(Q C. P(Q(P(Q D. (P(P (Q.??命题公式(P(Q)(Q为(????? ) A. B. 可满足式 C. 重言式 D. 合取范式 8.??命题公式(P(Q)(R的析取范式是 ( ) A. ((P(Q)(R B. (P(Q)(R C. (P(Q)(R D. ((P((Q)(R 9.??命题公式的析取范式是( )． A. B. C. D. 10.??命题公式（P(Q）的合取范式是 ( )． A. （P(Q） B. （P(Q）(（P(Q） C. （P(Q） D. (（(P((Q） 11.??命题公式P(Q的主合取范式是(???)． A. (P(Q)((((Q((((P((Q( B. (P(Q C. (P(Q D. P((Q 12.??设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A. B. C. D. 13.??设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)) 148.??设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)) 15.??设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( )． A. B. C. D. 16.??谓词公式是（ ???）． A. 不可满足的 B. 可满足的 C. 有效的 D. 蕴含式 17.??在谓词公式((x)(A(x)→B(x)(C(x，y))中，（ ）． A. x，y都是约束变元 B. x，y都是自由变元 C. x是约束变元，y是自由变元 D. x是自由变元，y是约束变元 18.??表达式中的辖域是( )． A. P(x, y) B. P(x, y)(Q(z) C. R(x, y) D. P(x, y)(R(x, y) 19.??设个体域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)) 20.??前提条件的有效结论是( )． A. P B. (P C. Q D. (Q If we dont do that it will go on and go on. We have to stop it; we need the courage to do it. His comments came hours after Fifa vice-president Jeffrey Webb - also in London for the FAs celebrations - said he wanted to meet Ivory Coast international Toure to discuss his complaint. CSKA genera