一、单项选择题（共 10 道试题，共 100 分。）
1. 命题公式 的析取范式是( A )．
A.
B.
C.
D.
2. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
3. 下列公式中 ( B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
4. 下列公式成立的为( D)．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
5. 命题公式（PuQ）的合取范式是 ( C )．
A. （PuQ）
B. （PuQ）u（PuQ）
C. （PuQ）
D. ?（?Pu?Q）
6. 下列等价公式成立的为( A )．
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
7. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
8. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
9. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D )．
A.
B.
C.
D.
10. 谓词公式 是（ A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
4的负一次方怎么算04-30
lucky副词04-30
found to do还是doing04-30
insist虚拟语气的用法04-30
地点副词有哪些04-30
scarcely when用法04-30
how many句型一问一答04-30
英语复合句的五种基本句型04-30
since引导的原因状语从句04-30