原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《计算机数学基础(1) 》离散数学试题
一、单项选择题 (每小题 2 分，共 10 分 )
1. 命题公式 P (P P)的类型是（ ）
（A ）永真式 （B ）矛盾式
（C）非永真式的可满足式 （D ）析取范式
2. 设个体域是整数集合， P 代表 x y((x y) (x y x))，下面 4 个命题中为真的是 ( )
(A) P 是真命题 (B) P 是假命题
(C) P 是一阶逻辑公式，但不是命题 (D) P 不是一阶逻辑公式
3. 设 A , B, C 都是集合，如果 A C ＝B C ，则有 ( )
(A) A ＝B (B) A B (C) 当 A －C ＝B －C 时 ,有 A = B (D) 当 C= U 时 , 有 A B
4. 设集合 A ＝{ ，a} ，则 P(A )＝ ( )
(A ){ ,{ a}, { ,a}} ( B){{ }, { a}, { ,a}}
(C ){ ,{ }, { a}, { ,{ a}}}, A} ( D){ ,{ }, { a}, { ,a}}
5. 给定无向图如第 5 题图所示，下面给出的顶点 a g
集子集中，不是点割集的为（ ）
b d f
(A) { b,d} (B) { d}
(C) { a,c} (D) { g ,e}
c e
二、填空题 (每小题 3 分，共 15 分 ) 第 5 题图
6. 设 F(x)：x 是素数， E(x) ：x 是偶数，命题“不是所有的素数都不是偶数”符号化为：
7. 设 A , B 为任意集合，命题 A B 的真值为 ．
8. 设 A 、B 为有限集，且 m, n,那末 A 与 B 间存在双射，当且仅当 ．
9. 在有向图的邻接矩阵中，第 i 行元素之和与第 j 列元素之和分别为
．
10. 无向图 G 为欧拉图，当且仅当 G 是连通的，且 G 中无 结点．
三、化简解答题 (每小题 8 分，共 32 分 )
11. 指出谓词公式 x(( P(x ) Q( x , y )) xR(x)) S(x) 中 x 和 x 的辖域，并指出
该公式的约束变元和自由变元以及约束出现次数和自由出现次数．
12.化简集合表达式： ((A B C) (A B)) －((B (B －C)) －A )
13. 设集合 A ={0,1,2,3,4} ，定义 A 上的二元关系 R 为：
R＝{ x,y x ,y A (x=y x+y A )}
试写出二元关系 R 的集合表达式，并指出 R 具有的性质．
14. (1) 求命题公式 (P Q) (P Q )的成真赋值 0 ? ?2
(2) 已知集合 A 上的二元关系 R 1?
的关系图如第 14 题图，试写出 R 的 第
文档评论（0）