电大《离散数学》网上在线作业06任务_0003参考(完整)

时间:2024-04-30 12:52:43 5A范文网 浏览: 平时作业 我要投稿
1009【离散数学】网上形考作业06任务_0003答案

一、单项选择题(共 10 道试题,共 100 分。)
1. 谓词公式 是( A ).
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
2. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
3. 下列公式中 ( B )为永真式.
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
4. 设个体域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))
5. 下列等价公式成立的为( B ).
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
6. 表达式 中 的辖域是( B ).
A. P(x, y)
B. P(x, y)uQ(z)
C. R(x, y)
D. P(x, y)uR(x, y)
7. 设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))
8. 命题公式 的析取范式是( A ).
A.
B.
C.
D.
9. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
10. 命题公式P?Q的主合取范式是( C ).
A. (PuQ)u(Pu?Q)u(?Pu?Q)
B. ?PuQ
C. ?PuQ
D. Pu?Q

来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。

相关文章:

如图所示是某型号挖掘机,相关数据见下表.挖掘机在4s内将04-30

十分之三加五分之一加6分之一04-30

探雷器是否只能用于探测地雷04-30

故天将降大任于是人也,必先苦其心志,劳其筋骨,饿其体04-30

果园里有20行桃树,每行棵树相等。如果再栽同样的6行,就04-30

159-38+41-6204-30

中考语文有什么学习技巧 如何提高语文成绩04-30

某人在铁道路基旁的便道上跑步,速度为每秒5米,一列火04-30

火车从甲地开往乙地,中间停靠5个车站(不包括A,B)铁道04-30

1:细胞在分裂过程中,一个细胞第一次分裂成2个,第二次分04-30

热搜文章
最新文章