一、单项选择题(共 10 道试题,共 100 分。)
1. 设命题公式G: ,则使公式G取真值为1的P,Q,R赋值分别是 ( D ).
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
2. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( B ).
A.
B.
C.
D.
3. 谓词公式 是( A ).
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
4. 下列公式成立的为( D ).
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
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. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
7. 下列公式中 ( B )为永真式.
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
8. 命题公式P?Q的主合取范式是( C ).
A. (PuQ)u(Pu?Q)u(?Pu?Q)
B. ?PuQ
C. ?PuQ
D. Pu?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. 下列等价公式成立的为( B ).
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。
相关文章:
电大《城市管理学》网上在线作业02任务 75 参考(很04-30
电大《城市管理学》网上在线作业01任务 参考(很完整)04-30
(2012•德阳模拟)南方某地发生泥石流灾害,一辆挖掘机在抗04-30
一个圆柱形橡皮泥,底面周长是62.8cm,高是9cm。如果把它04-30
保护动物珍爱动物的句子.04-30
在“用DIS研究通电螺线管的磁感应强度”实验中(1)在对螺04-30
一个双层书架,上层书的本数是下层的5倍。如果从上层搬304-30
当你坐在椅子上并脚离地时,椅子受几个力的作用?施力物04-30
“作业”一词的解释在辞海的哪一页?04-30