一、单项选择题（共 10 道试题，共 100 分。）
1. 命题公式P?Q的主合取范式是( C )．
A. (PuQ)u(Pu?Q)u(?Pu?Q)
B. ?PuQ
C. ?PuQ
D. Pu?Q
2. 设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))
3. 前提条件 的有效结论是( D )．
A. P
B. ?P
C. Q
D. ?Q
4. 下列公式成立的为( D )．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
5. 谓词公式 是（ A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
6. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
7. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( B )．
A.
B.
C.
D.
8. 设个体域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))
9. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D)．
A.
B.
C.
D.
10. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
found to do还是doing04-30
insist虚拟语气的用法04-30
地点副词有哪些04-30
scarcely when用法04-30
how many句型一问一答04-30
英语复合句的五种基本句型04-30
since引导的原因状语从句04-30
动词名词形容词副词等什么意思04-30
不能省略that的八种宾语从句04-30