版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、实用文档 标准文案 一、填空题 1 设集合A,B,其中A1,2,3, B= 1,2, 则A - B_3_; ?(A) - ?(B) 2,3_ . 2. 2. 设有限集合A, |A| = n, 则 |?(A×A)| = _22n 3. 设集合A = a, b, B = 1, 2, 则从A到B的所有映射是_?1= (a,1), (b,1), ?2= (a,2), (b,2),?3= (a,1), (b,2), ?4= (a,2), (b,1);_, 其中双射的是_?3, ?4._ 4. 已知命题公式G?(P?Q)R,则G的主析取范式是_(P?QR)_. 5.设G是完全二叉树,G有7个点,
2、其中4个叶点,则G的总度数为_12_,分枝点数为_3_. 6 设A、B为两个集合, A= 1,2,4, B = 3,4, 则从A?B_4_; A?B_1, 2, 3, 4_;AB _1, 2_ . 3. 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是_自反性;对称性;传递性_. 8. 设命题公式G?(P?(Q?R),则使公式G为真的解释有_(1, 0, 0)_,_ _(1, 0, 1)_, _(1, 1, 0)_. 9. 设集合A1,2,3,4, A上的关系R1 = (1,4),(2,3),(3,2), R1 = (2,1),(3,2),(4,3), 则 R1?R2 = _(1,
3、3),(2,2),(3,1)_,R2?R1 =_(2,4),(3,3),(4,2)_ _, R12 =_(2,2),(3,3)_. 4. 10. 设有限集A, B,|A| = m, |B| = n, 则| |?(A?B)| = _2m?n_. 11 设A,B,R是三个集合,其中R是实数集,A = x | -1x1, x?R, B = x | 0x < 2, x?R,则A-B = _x | -1x < 0, x?R_ , B-A = _x | 1 < x < 2, x?R_ , AB = _x | 0x1, x?R_ , . 5. 13. 设集合A2, 3, 4, 5,
4、6,R是A上的整除,则R以集合形式(列举法)记为_(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)_. 6. 14. 设一阶逻辑公式G = ?xP(x)?xQ(x),则G的前束范式是_?x(?P(x)Q(x)_. 15.设G是具有8个顶点的树,则G中增加_21_条边才能把G变成完全图。 16. 设谓词的定义域为a, b,将表达式?xR(x)?xS(x)中量词消除,写成与之对应的命题公式是_(R(a)R(b)(S(a)S(b)_. 实用文档 标准文案 17. 设集合A1, 2, 3, 4,A上的二元关系R(1,1),(1,2),(2,
5、3), S(1,3),(2,3),(3,2)。则R?S_(1, 3),(2, 2)_, R2_(1, 1),(1, 2),(1, 3)._. 二、选择题 1 设集合A=2,a,3,4,B = a,3,4,1,E为全集,则下列命题正确的是( C )。 (A)2?A (B)a?A (C)?a?B?E (D)a,1,3,4?B. 2 设集合A=1,2,3,A上的关系R(1,1),(2,2),(2,3),(3,2),(3,3),则R不具备( D ). (A)自反性 (B)传递性 (C)对称性 (D)反对称性 3 设半序集(A,)关系的哈斯图如下所示,若A的子集B = 2,3,4,5,则元素6为B的(
6、B )。 (A)下界 (B)上界 (C)最小上界 (D)以上答案都不对 4 下列语句中,( B )是命题。 (A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗? 5 设I是如下一个解释:D a,b, 0 1 0 1b) P(b,a) P(b,b) P(a,),(aaP 则在解释I下取真值为1的公式是( D ). (A)?x?yP(x,y) (B)?x?yP(x,y) (C)?xP(x,x) (D)?x?yP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( C ). (A)(1,2,2,3,4,5) (B)(1,2,
7、3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6). 7. 设G、H是一阶逻辑公式,P是一个谓词,G?xP(x), H?xP(x),则一阶逻辑公式G?H是( C ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式. 8 设命题公式G?(P?Q),HP?(Q?P),则G与H的关系是( A )。 (A)G?H (B)H?G (C)GH (D)以上都不是. 9 设A, B为集合,当( D )时ABB. (A)AB (B)A?B (C)B?A (D)AB?. 10 设集合A = 1,2,3,4, A上的关系R(1,1),(2,3),(2,4),(3,4),
8、则R具有( B )。 (A)自反性 (B)传递性 (C)对称性 (D)以上答案都不对 11 下列关于集合的表示中正确的为( B )。 (A)a?a,b,c (B)a?a,b,c (C)?a,b,c (D)a,b?a,b,c 12 命题?xG(x)取真值1的充分必要条件是( ). (A) 对任意x,G(x)都取真值1. (B)有一个x0,使G(x0)取真值1. (C)有某些x,使G(x0)取真值1. (D)以上答案都不对. 13. 设G是连通平面图,有5个顶点,6个面,则G的边数是( A ). (A) 9条 (B) 5条 (C) 6条 (D) 11条. 14. 设G是5个顶点的完全图,则从G中删
9、去( A )条边可以得到树. (A)6 (B)5 (C)10 (D)4. 15. 设图G的相邻矩阵为?0110110101110110010111110,则G的顶点数与边数分别为( D ). 1 2 3 4 5 6 实用文档 标准文案 (A)4, 5 (B)5, 6 (C)4, 10 (D)5, 8. 三、计算证明题 1.设集合A1, 2, 3, 4, 6, 8, 9, 12,R为整除关系。 (1) 画出半序集(A,R)的哈斯图; (2) 写出A的子集B = 3,6,9,12的上界,下界,最小上界,最大下界; (3) 写出A的最大元,最小元,极大元,极小元。 (1) 124836129 (2)
10、 B无上界,也无最小上界。下界1, 3; 最大下界是3. (3) A无最大元,最小元是1,极大元8, 12, 90+; 极小元是1. 2. 设集合A1, 2, 3, 4,A上的关系R(x,y) | x, y?A 且 x ? y, 求 (1) 画出R的关系图; (2) 写出R的关系矩阵. R = (1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4). (1) (2)1000110011101111RM? 3. 设R是实数集合,?,?,?是R上的三个映射,?(x) = x+3, ?(x) = 2x, ?(x) x/4,试求复合映射?
11、,?, ?, ?,?. (1)?(?(x)?(x)+32x+32x+3. (2)?(?(x)?(x)+3(x+3)+3x+6, (3)?(?(x)?(x)+3x/4+3, (4)?(?(x)?(x)/42x/4 = x/2, (5)?(?)?+32x/4+3x/2+3. 1 2 3 4 实用文档 标准文案 4. 设I是如下一个解释:D = 2, 3, a b f (2) f (3) P(2, 2) P(2, 3) P(3, 2) P(3, 3) 3 2 3 2 0 0 1 1 试求 (1) P(a, f (a)P(b, f (b); (2) ?x?y P (y, x). (1) P(a, f
12、(a)P(b, f (b) = P(3, f (3)P(2, f (2) = P(3, 2)P(2, 3) = 10 = 0. (2) ?x?y P (y, x) = ?x (P (2, x)P (3, x) = (P (2, 2)P (3, 2)(P (2, 3)P (3, 3) = (01)(01) = 11 = 1. 5. 设集合A1, 2, 4, 6, 8, 12,R为A上整除关系。 (1) 画出半序集(A,R)的哈斯图; (2) 写出A的最大元,最小元,极大元,极小元; (3) 写出A的子集B = 4, 6, 8, 12的上界,下界,最小上界,最大下界. 1) (2) 无最大元,最小
13、元1,极大元8, 12; 极小元是1. (3) B无上界,无最小上界。下界1, 2; 最大下界2. 6. 设命题公式G = ?(PQ)(Q(?PR), 求G的主析取范式。 G = ?(PQ)(Q(?PR) = ?(?PQ)(Q(PR) 2416812实用文档 标准文案 = (P?Q)(Q(PR) = (P?Q)(QP)(QR) = (P?QR)(P?Q?R)(PQR)(PQ?R)(PQR)(?PQR) = (P?QR)(P?Q?R)(PQR)(PQ?R)(?PQR) = m3m4m5m6m7 = ?(3, 4, 5, 6, 7). 7. (9分)设一阶逻辑公式:G = (?xP(x)?yQ(y
14、)?xR(x),把G化成前束范式. G = (?xP(x)?yQ(y)?xR(x) = ?(?xP(x)?yQ(y)?xR(x) = (?xP(x)?yQ(y)?xR(x) = (?x?P(x)?y?Q(y)?zR(z) = ?x?y?z(?P(x)?Q(y)R(z) 9. 设R是集合A = a, b, c, d. R是A上的二元关系, R = (a,b), (b,a), (b,c), (c,d), (1) 求出r(R), s(R), t(R); (2) 画出r(R), s(R), t(R)的关系图. (1) r(R)RIA(a,b), (b,a), (b,c), (c,d), (a,a),
15、(b,b), (c,c), (d,d), s(R)RR1(a,b), (b,a), (b,c), (c,b) (c,d), (d,c), t(R)RR2R3R4(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d); (2)关系图: 11. 通过求主析取范式判断下列命题公式是否等价: (1) G = (PQ)(?PQR) (2) H = (P(QR)(Q(?PR) G(PQ)(?PQR) (PQ?R)(PQR)(?PQR) m6m7m3 bacdr(R)bacds(R)bacdt(R) 实用文档 标准文案 ? (3, 6, 7
16、) H = (P(QR)(Q(?PR) (PQ)(QR)(?PQR) (PQ?R)(PQR)(?PQR)(PQR)(?PQR) (PQ?R)(?PQR)(PQR) m6m3m7 ? (3, 6, 7) G,H的主析取范式相同,所以G = H. 13. 设R和S是集合Aa, b, c, d上的关系,其中R(a, a),(a, c),(b, c),(c, d), S(a, b),(b, c),(b, d),(d, d). (1) 试写出R和S的关系矩阵; (2) 计算R?S, RS, R1, S1?R1. (1)?0000100001000101RM ?1000000011000010SM (2)
17、R?S(a, b),(c, d), RS(a, a),(a, b),(a, c),(b, c),(b, d),(c, d),(d, d), R1(a, a),(c, a),(c, b),(d, c), S1?R1(b, a),(d, c). 四、证明题 1. 利用形式演绎法证明:PQ, RS, PR蕴涵QS。 证明:PQ, RS, PR蕴涵QS (1) PR P (2) ?RP Q(1) (3) PQ P (4) ?RQ Q(2)(3) (5) ?QR Q(4) (6) RS P 实用文档 标准文案 (7) ?QS Q(5)(6) (8) QS Q(7) 2. 设A,B为任意集合,证明:(A-
18、B)-C = A-(BC). 证明:(A-B)-C = (AB)C = A(BC) = A(BC) = A-(BC) 3. (本题10分)利用形式演绎法证明:?AB, ?C?B, CD蕴涵AD。 证明:?AB, ?C?B, CD蕴涵AD (1) A D(附加) (2) ?AB P (3) B Q(1)(2) (4) ?C?B P (5) BC Q(4) (6) C Q(3)(5) (7) CD P (8) D Q(6)(7) (9) AD D(1)(8) 所以 ?AB, ?C?B, CD蕴涵AD. 4. (本题10分)A, B为两个任意集合,求证: A(AB) = (AB)B . 4. 证明:
19、A(AB) = A(AB) A(AB) (AA)(AB) ?(AB) (AB) 实用文档 标准文案 AB 而 (AB)B = (AB)B = (AB)(BB) = (AB)? = AB 所以:A(AB) = (AB)B. 参考答案 一、填空题 1. 3; 2,3. 2. 22n. 7. ?1= (a,1), (b,1), ?2= (a,2), (b,2),?3= (a,1), (b,2), ?4= (a,2), (b,1); ?3, ?4. 8. (P?QR). 9. 12, 3. 10. 4, 1, 2, 3, 4, 1, 2. 11. 自反性;对称性;传递性. 12. (1, 0, 0),
20、 (1, 0, 1), (1, 1, 0). 实用文档 标准文案 13. (1,3),(2,2),(3,1); (2,4),(3,3),(4,2); (2,2),(3,3). 14. 2m?n. 15. x | -1x < 0, x?R; x | 1 < x < 2, x?R; x | 0x1, x?R. 16. 12; 6. 17. (2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6). 18. ?x(?P(x)Q(x). 19. 21. 20. (R(a)R(b)(S(a)S(b). 21. (1, 3),(2,
21、2); (1, 1),(1, 2),(1, 3). 二、选择题 1. C. 2. D. 3. B. 4. B. 5. D. 6. C. 7. C. 8. A. 9. D. 10. B. 11. B. 13. A. 14. A. 15. D 三、计算证明题 1. (1) (2) B无上界,也无最小上界。下界1, 3; 最大下界是3. (3) A无最大元,最小元是1,极大元8, 12, 90+; 极小元是1. 2.R = (1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4). (1) (2)1000110011101111RM? 3
22、. (1)?(?(x)?(x)+32x+32x+3. (2)?(?(x)?(x)+3(x+3)+3x+6, 124836129 1 2 3 4 实用文档 标准文案 (3)?(?(x)?(x)+3x/4+3, (4)?(?(x)?(x)/42x/4 = x/2, (5)?(?)?+32x/4+3x/2+3. 4. (1) P(a, f (a)P(b, f (b) = P(3, f (3)P(2, f (2) = P(3, 2)P(2, 3) = 10 = 0. (2) ?x?y P (y, x) = ?x (P (2, x)P (3, x) = (P (2, 2)P (3, 2)(P (2, 3
23、)P (3, 3) = (01)(01) = 11 = 1. 5. (1) (2) 无最大元,最小元1,极大元8, 12; 极小元是1. (3) B无上界,无最小上界。下界1, 2; 最大下界2. 6. G = ?(PQ)(Q(?PR) = ?(?PQ)(Q(PR) = (P?Q)(Q(PR) = (P?Q)(QP)(QR) = (P?QR)(P?Q?R)(PQR)(PQ?R)(PQR)(?PQR) = (P?QR)(P?Q?R)(PQR)(PQ?R)(?PQR) = m3m4m5m6m7 = ?(3, 4, 5, 6, 7). 7. G = (?xP(x)?yQ(y)?xR(x) = ?(?
24、xP(x)?yQ(y)?xR(x) = (?xP(x)?yQ(y)?xR(x) = (?x?P(x)?y?Q(y)?zR(z) 2416812 实用文档 标准文案 = ?x?y?z(?P(x)?Q(y)R(z) 9. (1) r(R)RIA(a,b), (b,a), (b,c), (c,d), (a,a), (b,b), (c,c), (d,d), s(R)RR1(a,b), (b,a), (b,c), (c,b) (c,d), (d,c), t(R)RR2R3R4(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d); (2)关系图: 11. G(PQ)(?PQR) (PQ?R
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024至2030年中国PVC包塑刺绳行业投资前景及策略咨询研究报告
- 2024至2030年LCD电视项目投资价值分析报告
- 2024年马海王项目可行性研究报告
- 2024年镀铝膜卡纸项目可行性研究报告
- 2024年中国豪华型电子灭蚊灯市场调查研究报告
- 2024年中国花梨木浮雕九龙剑市场调查研究报告
- 学校财务2024年工作计划
- 《电子设计教程》课件
- 《快乐的咖啡豆》课件
- 2024年商业储藏空间买卖合同标准格式
- 品牌管理 课件 第4章 品牌体验
- 砂石料项目可行性研究报告
- 电磁流量计培训课件
- 单招考试物理基础知识梳理
- 初中九年级数学课件-反比例函数k的几何意义
- 网络安全专员入职培训
- 成立售电公司可行性方案
- GB 15607-2023涂装作业安全规程粉末静电喷涂工艺安全
- 充电桩合作方案
- 周三多管理学原理与方法二十章企业技术创新
- 好好学习:个人知识管理精进指南
评论
0/150
提交评论