1009【离散数学】网上形考作业06任务_0016答案
离散数学网上作业06任务_0016
1. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )．
A.
B.
C.
D.
2. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
3. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( B )．
A.
B.
C.
D.
4. 设个体域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))
5. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
6. 命题公式P?Q的主合取范式是( C )．
A. (PuQ)u( Pu? Q )u(? Pu? Q)
B. ?PuQ
C. ?PuQ
D. Pu?Q
7. 命题公式 的析取范式是( A )．
A.
B.
C.
D.
8. 下列公式 ( C )为重言式．
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
9. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
10. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
上一篇：电大《当代中国政治制度》网上在线作业03任务 专题讨论
下一篇：暂无