电大离散数学形成性考核6答案.docVIP

作业六 1.??命题公式（PúQ）的合取范式是 ( C )． A. （PùQ） B. （PùQ）ú（PúQ） C. （PúQ） D. ?（?Pù?Q） 2.??命题公式(PúQ)?R的析取范式是 ( D ) A. ?(PúQ)úR B. (PùQ)úR C. (PúQ)úR D. (?Pù?Q)úR 3.??设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )． A. B. C. D. 4.??表达式中的辖域是( B )． A. P(x, y) B. P(x, y)úQ(z) C. R(x, y) D. P(x, y)ùR(x, y) 5.??设A（x）：x是人，B（x）：x是工人，则命题“有人是工人”可符号化为（ A ）． A. (x)(A(x)ùB(x)) B. (x)(A(x)ùB(x)) C. ?(x)(A(x)?B(x)) D. ?(x)(A(x)ù?B(x)) 6.??下列公式中 ( B )为永真式． A. ?Aù?B ? ?Aú?B B. ?Aù?B ? ?(AúB) C. ?Aù?B ? AúB D. ?Aù?B ? ?(AùB) 7.??设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为 A ． A.