一、单项选择题(共 10 道试题,共 100 分。)
1. 前提条件 的有效结论是( D ).
A. P
B. ?P
C. Q
D. ?Q
2. 下列公式中 ( B)为永真式.
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
3. 命题公式 的析取范式是( A ).
A.
B.
C.
D.
4. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
5. 表达式 中 的辖域是( B ).
A. P(x, y)
B. P(x, y)uQ(z)
C. R(x, y)
D. P(x, y)uR(x, y)
6. 下列公式 ( C )为重言式.
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
7. 谓词公式 是(A ).
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
8. 设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))
9. 命题公式(PuQ)的合取范式是 (C ).
A. (PuQ)
B. (PuQ)u(PuQ)
C. (PuQ)
D. ?(?Pu?Q)
10. 下列等价公式成立的为( A ).
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。
相关文章:
how many句型一问一答04-30
英语复合句的五种基本句型04-30
since引导的原因状语从句04-30
动词名词形容词副词等什么意思04-30
不能省略that的八种宾语从句04-30
感官动词后面加形容词还是副词04-30
初中政治答题技巧 怎样学好政治04-30
退位减法只能用凑十法对吗04-30