一、单项选择题（共 10 道试题，共 100 分。）
1. 下列公式 ( C )为重言式．
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
2. 下列等价公式成立的为(B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
3. 命题公式P?Q的主合取范式是( C )．
A. (PuQ)u(Pu?Q)u(?Pu?Q)
B. ?PuQ
C. ?PuQ
D. Pu?Q
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. 设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. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
7. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )．
A.
B.
C.
D.
8. 设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))
9. 下列公式中 (B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
10. 命题公式（PuQ）的合取范式是 (C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
如左图所示的装置叫做，是测量液体内部压强的仪器．（1）当探04-30
学校装修会议室，计划用边长6dm的釉面方砖铺地，需要224块04-30
你还知道哪些宇宙探测器?他们都有什么用途?你认为探测04-30
维 小梅、小涛、小惠三人去超市购物。小梅和小涛共花04-30
1964年6月，在西安市郊区秦始皇所建的阿房宫遗址中发掘04-30
客车与货车同时从A，B两城出发，相向而行，车行完全程要4小04-30
如图所示是某型号挖掘机，相关数据见下表．挖掘机在4s内将04-30
十分之三加五分之一加6分之一04-30
探雷器是否只能用于探测地雷04-30