1009【离散数学】网上形考作业06任务_0002答案
离散数学网上作业06任务_0002
一、单项选择题(共 10 道试题,共 100 分。)
1. 命题公式 的析取范式是( A ).
A.
B.
C.
D.
2. 命题公式P?Q的主合取范式是( C ).
A. (PuQ)u( Pu? Q )u(? Pu? Q )
B. ?PuQ
C. ?PuQ
D. Pu?Q
3. 下列公式成立的为( D ).
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
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. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
6. 设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))
7. 设个体域D={a, b, c},那么谓词公式 消去量词后的等值式为 A .
A. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
B. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
C. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
D. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
8. 下列公式 ( C )为重言式.
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
9. 命题公式(PuQ)的合取范式是 ( C ).
A. (PuQ)
B. (PuQ)u(PuQ)
C. (PuQ)
D. ?(?Pu?Q)
10. 谓词公式 是( A ).
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
上一篇:电大《离散数学》网上在线作业06任务_0001参考(完整)
下一篇:暂无