一、单项选择题(共 10 道试题,共 100 分。)
一、单项选择题(共 10 道试题,共 100 分。)
1. 在谓词公式("x)(A(x)→B(x)uC(x,y))中,( C ).
A. x,y都是约束变元
B. x,y都是自由变元
C. x是约束变元,y都是自由变元
D. x是自由变元,y都是约束变元
2. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( B ).
A.
B.
C.
D.
3. 下列公式 ( C )为重言式.
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
4. 命题公式(PuQ)的合取范式是 ( C ).
A. (PuQ)
B. (PuQ)u(PuQ)
C. (PuQ)
D. ?(?Pu?Q)
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. 下列等价公式成立的为( A ).
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
7. 设命题公式G: ,则使公式G取真值为1的P,Q,R赋值分别是 ( D ).
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
8. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
9. 设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))
10. 下列公式成立的为( D ).
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。
相关文章:
电大《离散数学》网上在线作业04任务_0007参考(完整)04-30
电大《离散数学》网上在线作业04任务_0006参考(完整)04-30
电大《离散数学》网上在线作业04任务_0004参考(完整)04-30
电大《离散数学》网上在线作业04任务_0005参考(完整)04-30
电大《离散数学》网上在线作业04任务_0003参考(完整)04-30
嵊州“三改一拆”让城乡变美,履带式挖掘机是拆违的重要04-30
文言文阅读。荀巨伯探病苟巨伯远看友人疾,值胡贼攻郡,友04-30
下面是小虎同学做的长度单位换算的几个算式,其中书写正04-30
contrast在音乐中是什么意思调不是melody能对硬调,还有04-30
2和5的最小公倍数04-30