一、单项选择题（共 10 道试题，共 100 分。）
1. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
2. 前提条件 的有效结论是( D )．
A. P
B. ?P
C. Q
D. ?Q
3. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
4. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )．
A.
B.
C.
D.
5. 表达式 中 的辖域是( B )．
A. P(x, y)
B. P(x, y)uQ(z)
C. R(x, y)
D. P(x, y)uR(x, y)
6. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
7. 命题公式 的析取范式是( A )．
A.
B.
C.
D.
8. 下列等价公式成立的为( A )．
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
9. 谓词公式 是（ A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
10. 设个体域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))
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
电大《行政法与行政诉讼法》网上在线作业04任务 参考04-30
电大《行政法与行政诉讼法》网上在线作业05论述题 参04-30
电大《行政管理学#(省)》网上在线作业形成性考核1_00004-30
电大《行政伦理学》网上在线作业第8次任务 参考(很完04-30
电大《行政法与行政诉讼法》网上在线作业01任务 联系04-30
电大《行政法与行政诉讼法》网上在线作业02论述题 参04-30
电大《行政法与行政诉讼法》网上在线作业03任务 参考04-30
电大《行政伦理学》第7次任务_002304-30