清欠考试--2009-2010第二学期《集合论与数理逻辑》试题.docxVIP

自 觉 遵 装 守 考 订 试 线 规 则 内 ， 诚 不 信 考 要 试 ， 答 绝 不 题 作 弊  南京邮电大学 2009/2010 学年 第 二 学期 《 集合论与数理逻辑 》清欠考试试卷 院( 系) 班级 学号 姓名 题号 一 二 三 四 总 分 得分 注意： 1. 答案一律填写在答题纸上，仅填写在试卷上成绩无效！ 试卷和答题纸上均填写完整的班级、学号和姓名。 考试结束后将试卷、 答题纸、草稿纸交监考老师方可离开考场。 得 分 一、填空题 (每空 2 分，共 20 分) 1．设 A {2, a,{3},4}, B {{ a},3,4,1 } ，请在下列集合中间填入适当 的符号： { a} B; { a,4,{3}} A 。 2．设集合 A { 1,2,3}, B {2,3}, C {3,4} ，则 A B A C B C 3．设 f { 1,2 , 3,4 , 2,2 } ， g { 4,2 , 2,5 , 3,1 } ，则 f g ( f g) 1 4．公式 P Q 的逆换式是 。 5．集合 A { a} 的幂集 ( A) 为 。 6． x( y z( P( y) Q( z)) R( x)) 中 y 的作用域是 。 7．设 N 为自然数集合， R 为实数集合，则 K [ N ] K [ R] 。 1 得 分 二、判断题，正确的打√，错误的打×。 (每题 2 分，共 20 分) 1 ．“这朵花多好看啊！ ”是命题。 ( ) 2 ．如果 A B A C ，则 B C 。 ( ) 3A { a, b, c} ，则 A 上的二元关系 R { a, c , b, b , b, c , c, c } 具 ．设 有传递性。 ( ) 4．空集是任何集合的子集。 ( ) 5．关系 f { n, m | n, m N , n m 10} 是函数。 ( ) 6．凡是陈述句都是命题。 ( ) 7．五个连接词的运算优先次序为 , , , , 。 ( ) 8．任何一个谓词公式都与一个前束范式等价。 ( ) 9．如果关系 R 与 S 都是自反的， 则 R S 也是自反的。 ( ) 10．设 R 是集合 A 上的一个关系，若 R 满足自反性、反对称性和传递性，则 R 称 为等价关系。 ( ) 得 分 三、解答题 (每小题 10 分，共 50 分) 1．将下列命题用公式符号化。 1）小李既聪明又用功。 2）天下雪，那么我不去看电影。 3）他可能是 100 米或 400 米赛跑的冠军。 4）除非天气好，否则我是不会去公园玩的。 2 2．请用真值表法求命题公式 P Q 的主析取范式。 3．用谓词表达式写出下列命题。 1）并非每个实数都是有理数。 2）某些机器人会说话。 3）有些液体能溶解任何金属。 4 A { a, b, c} ， A 上的关系 R { a, c , b, c } ，求 R 的自反闭包 r (R) ．设集合 和对称闭包 s( R) 。 3 5．右图为 A { a, b, c, d} 上某偏序关系 a d R 的关系图： 1）写出关系 R 的二元序偶的表达形式。 2）画出偏序集 A , R 对应的哈斯图。 b c （ 3）有子集 B { a,c} ，求 B 的上界、上确界、下界和下确界。 自 觉 遵 装 守 订 考 得 分 四、证明题 (10 分) 试 线 规 请用推理理论证明 ( PQ), Q R, RP 。 则 内 ， 诚 不 信 考 要 试 ， 答 绝 不 题 作 弊 4