曲靖师范学院《离散数学》2017-2018学年第一学期期末试卷一、选择题(10×2分=20分)1、下面的句子中是命题的有()。A、明天是晴天；B、请关门；C、请不要吸烟！D、2x+3<5。2、在下述公式中是重言式的是()。3、设R,S是集合A上的关系，则下列说法正确的是()A若R,S是自反的，则R。S是自反的；B若R,S是反自反的，则R。S是反自反的：C若R,S是对称的，则R。S是对称的：D若R,S是传递的，则R。S是传递的4、下面命题成立的有()。A、若AVC⊙BVC,则A⊙B;B、若AAC⊙BAC,则A白B;6、下面四组数能构成无向图的度数列的有（)。A、2,3,4,5,6,7;B、1,2,2,3,4:C、2,1,1,1,2;D、3,3,5,6,0。V27、图的邻接矩阵为()。1011018、在()下有A×B三A。9、设G=为无向图，23,则G一定是()。A、完全图：B、树：C、简单图：D、多重图。10、图中从y到y长度为3的通路有()条。3D.4。二、证明（本题40分）2、(10分)用主析取范式判断下列公式的类型，并求出成真赋值。3、(8分)在自然推理系统P中，利用归谬法证明下面推理。4、(8分)在自然推理系统F中，构造用自然语言描述的推理的证明：每个喜欢步行的人都不喜欢骑自行车，每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人类集合）5、（8分)证明：在6个结点12条边的连通平面简单图中，每个面的面度都是3。三、综合（本题共40分）1、(6分)求前束范式：2、(8分)设二元关系R={,<{a,b>,<{o,{o}>,<0,{o>}(1)、求domR,ranR;3、(8分)在下面3个图中，哪个是欧拉图？对不是欧拉图的说明理由，对是欧拉图的，用Fleury算法求一条欧拉回路。(a)(b)(第3题)