一、单项选择题（共 10 道试题，共 100 分。）
一、单项选择题（共 10 道试题，共 100 分。）
1. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
2. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( B )．
A.
B.
C.
D.
3. 下列公式 ( C )为重言式．
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
4. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
5. 设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))
6. 下列等价公式成立的为( A )．
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
7. 设命题公式G： ，则使公式G取真值为1的P，Q，R赋值分别是 ( D )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
8. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
9. 设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))
10. 下列公式成立的为( D )．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
电大《城市管理学》网上在线作业04任务 80 参考(很04-30
电大《城市管理学》网上在线作业04任务 参考(很完整)04-30
电大《城市管理学》网上在线作业02任务 75 参考(很04-30
电大《城市管理学》网上在线作业03任务_0040 86 参04-30
电大《城市管理学》网上在线作业01任务 参考(很完整)04-30
（2012•德阳模拟）南方某地发生泥石流灾害，一辆挖掘机在抗04-30
一个圆柱形橡皮泥，底面周长是62.8cm，高是9cm。如果把它04-30
保护动物珍爱动物的句子.04-30