2009-2010-2离散数学期中考试卷-A.docxVIP

福建师范大学（公共课）数计 学院 2009 — 2010学年第2学期考试 卷 专 业：信息技术专业 课程名称：离散数学 试卷类别：开卷（）闭卷（“） 考试时间：2010 年5 月6  年 级：2009级 任课教师： 周书明 考试用时： 120 分钟 日下午点 分 题号 -一- -二二 三 四 五 总得分 评卷人 得分 题号 六 七 八 九 十 得分 特别注意：所有题目的答案都要写在答题纸上，否则一律无效. 一、单项选择题（每小题 3分，共30分） 1、已知 A、B是集合 |A| =15,|B | =10, | AU B | =20，则 |AQ B | =（ ） A、10 A、10 B 、5 C 、20 D 、13 2、设S,T,M是集合，下列结论正确的是（ ） A、如果 SU T=SU M 贝U T=M C、S 二 S = S D  B 、如果S-T=①，贝U S=T 、S -T 二 S (~T) 3、设集合A二{a,b,c} , A上的关系  R 二{(a,a),(a,b),(b,c)},则 R2=( (A){(a,a),(a,b), (a,c)}; (C){(a,b),(a,c),(b,b)};  (B){( a,b),(a,c),(b,c)}; (D){( a,a),(a,b),(c,c)}. 4、 下列各式中，不正确的有（ B C 5、 下列四个公式正确的是 、『J取一“ 、「上:,「一 I— ■■ - x(A(x) B(x))= - xA(x) - xB(x) - x(A(x) B(x))= - xA(x) - xB(x) x(A(x) B(x))= xA(x) xB(x) -lxA(x)二lxB(x)二 x( A(x) B(x)) A、①③ 、①④ 、③④ 、②④ 上规定二元系如下6、设 A={1 , 2, 3, 4} , P (A) (A 的幕集) 上规定二元系如下 R={ :: S,t |s,t p(A) (|s|=|t|}则 P (A) / R=( A、A ；B A、A ； B、 P(A)； &设A= { ： } , B= P（RA＞），以下不正确的式子是（） A {{ .一 }, {{ ?_}} , { ： , { ?_}}}包含于 B; B、{{{ .. }}}包含于 B； C {{ - , { - }}}包含于 B;D {{ ： } C {{ - , { - }}}包含于 B; 9、设A={1 , 2, 3} , A上的二元关系R={ 1,2 , 2,1 , 2,3 }，则R具有的性质是（ 、传递性.，则命题“除非天下大雨，否则他不在室内A 、反自反性； B、自反性；C、对称性； 、传递性. ，则命题“除非天下大雨，否则他不在室内 10、设P表示"天下大雨” ，Q表示"他在室内运动” 运动”符号化为（ B、P Q ; C、一P、—Q ; 二、填空题（每小题3 二、填空题（每小题 3分，共15分） 1、设 R 是 A={1 ,2, 3, 4}上的二元关系 1、设 R 是 A={1 , 2、含3个命题变项的命题公式的主合取范式为 M 0 M 3 M 4 M 6 M 7,则它的主析取范式 为 。(表示成m n的形势) 3、 公式-x(P(x)_. Q(x, y))打Tz(R(y,z)_. S(x))的自由变元是 ， 约束变元是 4、 设A={a,b},B={0,1,2}, 那么可定义 种不同的A到B的到上的函数. 5、 设 I 是如下一个解释：D 二 2,3?, F(2) F(3) P(2) P(3) Q(2,2) Q(2,3) Q(3,2) Q(3,3) 3 2 0 1 1 1 0 1 则x-y P x Q F x ,y的真值为 ， 。 三、计算题与证明题(本题共55分) 1、(10分)把下面公式化成前束范式： (-xP(x) V yQy)) t-.ixRx)。 2、（10 分）证明 FxFyFx） tGy））二 jxFx） tXZyGy）。 3、(10分)使用命题逻辑中的推理理论构造下面推理的证明: 前提：p —； （q —； s）, q, p - r 结论：r — s 4、(10分)使用命题逻辑中的推理理论构造下面推理的证明： 前提：-x(F(x) > G(x) H(x)), x(F(x) R(x)) 结论:x(F(x) R(x) G(x)) 5、(10分)设A是正整数集合，在 A A上定义二元关系 R如下：「：： x, y「: u,v 2三R当且仅 当xv = yu ,证明：R为等价关系。 6、（15分）设集合A二「1,2,3,4,5? , A上的二元关系 R为: R「J,1 , 2,2 , 3,3 , 3,4 , 4,4 , 5,3 , 5,4 , 5,5 1 写出R的关系矩阵，画出 R