一、单项选择题（共 10 道试题，共 100 分。）
1. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
2. 设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))
3. 下列公式中 ( B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
4. 表达式 中 的辖域是( B )．
A. P(x, y)
B. P(x, y)uQ(z)
C. R(x, y)
D. P(x, y)uR(x, y)
5. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
6. 下列公式成立的为( D )．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
7. 设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))
8. 下列公式 ( C )为重言式．
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
9. 设个体域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))
10. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( B )．
A.
B.
C.
D.
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
电大《科学与技术》网上05任务_001204-30
电大《科学与技术》网上05任务_003504-30
电大《科学与技术》网上05任务_004804-30
电大《科学与技术》网上05任务_006004-30
电大《科学与技术》网上05任务_007704-30
电大《科学与技术》网上04任务_002204-30
电大《科学与技术》网上04任务_003004-30
电大《科学与技术》网上04任务_003504-30
电大《科学与技术》网上04任务_004504-30
电大《科学与技术》网上04任务_009904-30