1009【离散数学】网上形考作业06任务_0011答案
一、单项选择题（共 10 道试题，共 100 分。）
1. 下列公式成立的为( D )．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
2. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
3. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
4. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
5. 命题公式 的析取范式是( A )．
A.
B.
C.
D.
6. 前提条件 的有效结论是( D )．
A. P
B. ?P
C. Q
D. ?Q
7. 表达式 中 的辖域是( B )．
A. P(x, y)
B. P(x, y)uQ(z)
C. R(x, y)
D. P(x, y)uR(x, y)
8. 下列公式中 ( B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
9. 设命题公式G： ，则使公式G取真值为1的P，Q，R赋值分别是 (D )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
10. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
上一篇：电大《离散数学》网上在线作业06任务_0010参考(完整)
下一篇：暂无