1009【离散数学】网上形考作业06任务_0017答案
一、单项选择题（共 10 道试题，共 100 分。）
1. 设A（x）：x是人，B（x）：x是工人，则命题“有人是工人”可符号化为（ A ）．
A. ( x)(A(x)uB(x))
B. ("x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?( x)(A(x)u?B(x))
2. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )．
A.
B.
C.
D.
3. 命题公式P?Q的主合取范式是( C )．
A. (PuQ)u(Pu?Q)u(?Pu?Q)
B. ?PuQ
C. ?PuQ
D. Pu?Q
4. 设命题公式G： ，则使公式G取真值为1的P，Q，R赋值分别是 ( D )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
5. 前提条件 的有效结论是( D )．
A. P
B. ?P
C. Q
D. ?Q
6. 下列公式中 ( B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
7. 设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（ C ）．
A. ( x)(A(x)uB(x))
B. ?( x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?( x)(A(x)u?B(x))
8. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
9. 下列等价公式成立的为( A )．
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
10. 谓词公式 是（ A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
上一篇：电大《离散数学》网上在线作业06任务_0016参考(完整)
下一篇：暂无