一、填空题
1、设
(N:自然数集,E+ 正偶数) 则
AB 。
2、A,B,C表示三个集合,文图中阴影部分的集合表达式为 。
3、设P,Q 的真值为0,R,S的真值为1,则
(P(Q(RP)))(RS)的真值= 。
A B C 4、公式(PR)(SR)P的主合取范式为
。
5、若解释I的论域D仅包含一个元素,则 xP(x)xP(x) 在I下真值为 。 6、设A={1,2,3,4},A上关系图为
则 R2 = 。 7、设A={a,b,c,d},其上偏序关系R的哈斯图为
则 R= 。
8、图的补图为 。
9、设A={a,b,c,d} ,A上二元运算如下:
* a b c d a b c d a b c d b c d a c d a b d a b c 那么代数系统的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。 10、下图所示的偏序集中,是格的为 。 11、选择合适的论域和谓词表达集合A=“直角坐标系中,单位元(不包括单位圆周)的点集”则A= 。 12、集合A={,{}}的幂集P(A) = 。 13、设A={1,2,3,4},A上二元关系R={<1,2>,<2,1>,<2,3>,<3,4>}画出R的关系图 。 14、设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>}, 则AB= 。 AB= 。 15、设|A|=3,则A上有 个二元关系。 16、A={1,2,3}上关系R= 时,R既是对称的又是反对称的。 17、偏序集A,R的哈斯图为 , 则R= 。 18、设|X|=n,|Y|=m则(1)从X到Y有 个不同的函数。 (2)当n , m满足 时,存在双射有 个不同的双射。 19、2是有理数的真值为 。 20、Q:我将去上海,R:我有时间,公式(QR)(RQ)的 自然语言为 。 21、公式(QP)(PQ)的 主合取范式是 。 22、若S{S1 ,S2 ,, Sm}是集合A的一个分划, 则它应满足 。 二、选择题 1、下列是真命题的有( ) A. {a}{{a}}; B.{{}}{,{}}; C. {{},}; D. {}{{}}。 2、下列集合中相等的有( ) A.{4,3};B.{,3,4};C.{4,,3,3};D. {3,4}。 3、设A={1,2,3},则A上的二元关系有( )个。 A. 23 ; B. 32 ; C. 233; D. 322。 4、设R,S是集合A上的关系,则下列说法正确的是( ) A.若R,S 是自反的, 则RS是自反的; B.若R,S 是反自反的, 则RS是反自反的; C.若R,S 是对称的, 则RS是对称的; D.若R,S 是传递的, 则RS是传递的。 5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下 R{s,t|s,tp(A)(|s||t|}则P(A)/ R=( ) A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{},{2},{2,3},{{2,3,4}},{A}} 6、设A={,{1},{1,3},{1,2,3}}则A上包含关系“”的哈斯图为( 7、下列函数是双射的为( ) A.f : IE , f (x) = 2x ; B.f : NNN, f (n) = ) A. 0; B. 1; C. 2; D. 3。 9、下图中既不是Eular图,也不是Hamilton图的图是( ) 、在一棵树中有7片树叶,3个3度结点,其余都是4度结点则该树有(结点。 A.1; B.2; C.3; D.4 。 11、设全集为I,下列相等的集合是( )。 A、A{x|x是偶数或奇数 }; B、B{x| y(yIx2y)}; C、C{x| y(yIx2y1)}; D、D{x|0,1,1,2,2,3,3,4,4,}。12、设S={N,Q,R},下列命题正确的是( )。 A、2N,NS 则2S; B、NQ,QS 则NS; C、NQ,QR 则NR; D、N,S 则NS。 13、设C={{a},{b},{a,b}},则S与S分别为( )。SCSCA、C和{a,b};B、{a,b}与;C、{a,b}与{a,b};D、C与C 14、下列语句不是命题的有( )。 A、x=13; B、离散数学是计算机系的一门必修课; C、鸡有三只脚;D、太阳系以外的星球上有生物; E、你打算考硕士研究生吗? 15、(PQ)R的合取范式为( )。 A、(PQ)R ;B、(PR)(QR) ; 4度 10 )个 C、(PQR)(PQR)(PQR)(PQR)(PQR)(PQR) D、(PQR)(PQR)(PQR)(PQR)。 16、设|A|=n,则A上有()二元关系。 A、2n ; B、n2 ; C、2n; D、nn ; E、2n。 17、设r为集合A上的相容关系,其简化关系图(如图), 则 [I] r产生的最大相容类为( ); A、{x1,x2}; B、{x1,x2,x3}; C、{x4,x5}; D、{x2,x4,x5} [II] A的完全覆盖为( )。 A、{x1,x2,x3,x4,x5}; B、{{x1,x2},{x1,x2,x3},{x4,x5}}; C、{{x1,x2,x3},{x2,x4,x5}}; D、{{x1,x2},{x3},{x4,x5}} 。 18、集合A={1,2,3,4}上的偏序关系图为 则它的哈斯图为( )。 2n 19、下列关系中能构成函数的是( )。 A、{x,y|(x,yN)(xy10)};B、{x,y|(x,yR)(yx2)}; C、{x,y|(x,yR)(y2x)}; D、{x,y|(x,yI)(xymod3)}。 20、N是自然数集,定义f:NN, f(x)(x) mod3(即x除以3的余数), 则f是( )。 A、满射不是单射;B、单射不是满射;C、双射;D、不是单射也不是满射。 三、证明题 1、 R是集合X上的一个自反关系,求证:R是对称和传递的,当且仅当 < a, b> 和在R中有<.b , c>在R中。 2、 f和g都是群 群。其中C={x|xG1且f(x)g(x)} 3、 G= 面图,则ek(v2), 由此证明彼得森图(Peterson)图是非平面图。 k24、 1、每一有限全序集必是良序集。 5、 2、设gf是复合函数,如果gf满射,则g也是满射。 四、逻辑推演 一、用CP规则证明下题 1、ABCD,DEFAF 2、x(P(x)Q(x))xP(x)xQ(x) 二、或者逻辑难学,或者有少数学生不喜欢它;如果数学容易学,那么逻辑并不难学。因此,如果许多学生喜欢逻辑,那么数学并不难学。 3、 五、计算题 1、设集合A={a,b,c,d}上的关系R={ ,< b , a > ,< b, c > , < c , d >}用矩阵运算求出R的传递闭包t (R)。 2、如下图所示的赋权图表示某七个城市v1,v2,,v7及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。 六、解答题 设X={1,2,3,4,5},X上的关系R={<1,1> , < 1 , 2 > , <2 , 4 > , < 3 , 5 > , < 4 , 2 > },用Warshall方法,求R的传递闭包t (R)。 七、简答题 1、设S={1 , 2 , 3 , 4, 6 , 8 , 12 , 24},“”为S上整除关系,问:(1)偏序集 S ,的Hass图如何?(2)偏序集{S ,}的极小元、最小元、极大元、最大元是什么? 2、设解释R如下:DR是实数集,DR中特定元素a=0,DR中特定函数f(x,y)xy,特定谓词F(x,y):xy,问公式Axyz(F(x,y)F(f(x,z),f(y,z)))的涵义如何?真值如何? 参考答案 一、填空题 1、2(x+1);2、{a ,a,a ,b,a ,c,c ,c,b ,a,c ,a} ;3、 {2,1,3,1,5,1,4,2,6,2,6,3; 4、 反对称性、反自反性;5、{,{{,2}},{{2}},{{,2},{2}}};6、1; 7、(PQR)(PQR)(PQR);8、任意x,如果x是素数则存在一个y,y是奇数且y整除x ;9、 10、A{x,y|(x,yR)(xy1)}; 11、{,{},{{}},{,{}}}; 12、见右图; 13、{< 1 , 2 > , < 2 , 4 > , <3 , 3 > , < 1,3 >,<2,4> ,<4,2>}、{< 1 , 4 > , 14、29; 15、{< 1 , 1 > , < 2 , 2 > , <3 , 3 > ; 16、{,,,,,,,, < 2 , 2 > }; 22 21、 。 二、选择题 题目 答案 题目 答案 1 C 11 A、D 2 C 12 C 3 C 13 B 4 C 14 A、E 5 A 1 B、D 6 B 1 C 7 D 17 B、D;C 8 A 18 A 9 D 19 B 10 C 20 D 三、证明题 略 四、逻辑推理 略 五、解答题 略 六、证明题 略 七、简答题 略 因篇幅问题不能全部显示,请点此查看更多更全内容