(完整word版)离散数学期末考试试卷(A卷).pdf
《(完整word版)离散数学期末考试试卷(A卷).pdf》由会员分享,可在线阅读,更多相关《(完整word版)离散数学期末考试试卷(A卷).pdf(6页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1 离散数学期末考试试卷(A 卷)一、判断题:(每题 2 分,共 10 分)(1)(1)(2)对任意的命题公式,若,则(0)(3)设是集合上的等价关系,是由诱导的上的等价关系,则。(1)(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。(0)(5)设是上的关系,分别表示的对称和传递闭包,则(0)二、填空题:(每题 2 分,共 10 分)()空集的幂集的幂集为()。()写出的对偶式()。()设是我校本科生全体构成的集合,两位同学等价当且仅当他们在同一个班,则等价类的个数为(),同学小王所在的等价类为()。()设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自
2、反的,反对称的。()(5)写出命题公式的两种等价公式()。三、用命题公式符号化下列命题()()(),用谓词公式符号化下列命题()()()。(12 分)()()仅当今晚有时间,我去看电影。()()假如上午不下雨,我去看电影,否则就在家里读书。(3)你能通你能通过考试,除非你不复习。()()并非发光的都是金子。()()有些男同志,既是教练员,又是国家选手。()()有一个数比任何数都大。四、设,给定上的两个关系和分别是()()写出和的关系矩阵。()求及(1分)五、求的主析取范式和主合取范式。(分)六、设是到的关系,是到的关系,证明:(8分)七、设是一个等价关系,设对某一个,有2,证明:也是一个等价关
3、系。(10 分)八、(1分)用命题推理理论来论证下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。九、(分)用谓词推理理论来论证下述推证。任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行(论域是人)。十、(8 分)利用命题公式求解下列问题。甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”丁说:“不是我。”四人的回答只有一人符合实际,问若只有一人成绩最好,
4、是谁?离散数学期末考试试卷答案(A 卷)一、判断题:(每题 2 分,共 10 分)(1)xxx()(2)对任意的命题公式CBA,若CBCA,则BA()(3)设 R 是集合 A上的等价关系,L 是由RA诱导的 A 上的等价关系,则LR。()(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。()(5)设 R 是 A 上 的关 系,)(),(RtRs分 别表 示 R 的对 称 和 传递 闭包,则)()(RstRts()二、填空题:(每题 2 分,共 10 分)()空集的幂集的幂集为(,)。()写出)()(RPQP的对偶式()()(RPQP)。()设 A是我校本科生全体构成的集合
5、,两位同学等价当且仅当他们在同一个班,则等价类的个数为(我校本科生的班级数),同学小王所在的等价类为(小王所在的班的集合)。()设,3121321RA是 A上的关系,则 R满足下列性质的哪几 条:自 反 的,对 称 的,传 递 的,反 自 反 的,反 对 称 的。(传递的,反自反的,反对称的)(5)写出命题公式QP的两种等价公式()()()()(PQQPPQQP)。三、用命题公式符号化下列命题()()(),用谓词公式符号化下列命题()()()。(12 分)()()仅当今晚有时间,我去看电影。文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V
6、10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O
7、3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3
8、P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q
9、3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y
10、7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3
11、Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA
12、9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K13 解:P:今晚我有时间.Q:我去看电影PQ()()假如上午不下雨,我去看电影,否则就在家里读书。解 P:上午下雨,Q:我去看电影R:我在家里读书。)()(RPQP(3)你能通你能通过考试,除非你不复习。解 P 你能通过考试,Q:你复习.PQ()()并非发光的都是金子。解xxA:)(是发光的,xxB:)(是金子)()()(xBxAx()()有些男同志,既是教练员,又
13、是国家选手。解xxA:)(是男同志,xxB:)(是教练员,xxC:)(是国家选手)()()()(xCxBxAx)()()有一个数比任何数都大。解xxA:)(是数,xyxB:),(比y大,),()()()()(yxByAyxAx四、设,dcbaA,给定A上的两个关系R和L分别是).,(),(),(),(),(),(),(),(),(cdadccacbbdaLaccbbaR()()写出R和L的关系矩阵。()求LR及)(LRt(1分)解0000100000100100RM1 0 1 01 0 1 00 1 0 00 0 0 1LM0000000110100100LRM0000000001011010
14、2)(LRM00000000101001013)(LRM00000000010110104)(LRM文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码
15、:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4
16、 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5
17、ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档
18、编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3
19、B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q
20、5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K1文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3P9K14 0000000111111111)(LRtM五、求)()(RQPRQP的主析取范式和主合取范式。(分)解70654321,)()()()()()()()()()
21、()()()()()()()()()()()()(RQPRQPRQPRQPRQPRQPQRPQRPRQPRQPRQPRQPRQPRQPRPQPRPQPRQPRQPRQPRQP六、设T是 X 到Y 的关系,S是Y 到 Z 的关系,证明:cccTSST)((8 分)证明:cccccTSxzSyzTxyYyySzyTyxYyySTzxSTxz,),)(),)(,)(,七、设R是 一 个 等 价 关 系,设:,baS对 某 一 个c,有,RbcRca且,证明:S 也是一个等价关系。(10 分)证明:(1)对任一Ax,因为 R 在 A 上是自反的,所以Rxx,.由 S 的定义,S,所以 S 是自反的。(
22、)()对任意Ayx,,若,Syx则对于某个 c 使得,RycRcx因为 R 对称的,故有:,RxcRcy由S的定义可知:,Sxy所以 S 是对称的。(3)对任意Azyx,,若Syx,及,Szy则必存在某个1c,使得,RycRcx11由 R 传递性,可知Ryx,,同理存在2c使得,RzcRcy22由 R 传递性,可知Rzy,。再由 S 的定义,得,Szx故 S 是传递的。综上可知,S是 A 上的等价关系。八、(1分)用命题推理理论来论证下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获文档编码:CA9Q3V10F3B4 HR5Y7O3I4Q5 ZE4A3Z3
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 完整 word 离散数学 期末考试 试卷
限制150内