文档详情

离散数学期末考试试题剖析.doc

发布:2017-05-06约1.17万字共13页下载文档
文本预览下载声明
离散数学试题(A卷及答案) 一、证明题(10分) 1)((P∧((Q∧R))∨(Q∧R)∨(P∧R)(R 证明: 左端(((P∧(Q∧R) ∨ ((Q∨P)∧R)((((P∧(Q)∧R))∨((Q∨P)∧R) ((((P ∨ Q) ∧ R)∨(( Q ∨ P )∧ R)(((( P ∨ Q )∨(Q∨P))∧R (((( P ∨ Q )∨( P ∨ Q ))∧ R(T ∧ R(置换)(R 2)(x(A(x)(B(x))( ( x A(x)((x B(x) 证明 :( x ( A(x) ( B(x))(( x ( (A(x) ∨ B(x))(( x( A(x) ∨ ( x B(x)((( x A(x)∨( x B(x)(( x A(x)((x B(x) 二、求命题公式(P∨(Q∧R))((P∧Q∧R)的主析取范式和主合取范式(10分) 证明:(P∨(Q∧R))((P∧Q∧R)(((P∨(Q∧R))∨(P∧Q∧R)) (((P∧((Q∨(R))∨(P∧Q∧R) (((P∧(Q)∨((P∧(R))∨(P∧Q∧R) (((P∧(Q∧R)∨((P∧(Q∧(R)∨((P∧Q∧(R))∨((P∧(Q∧(R))∨(P∧Q∧R) (m0∨m1∨m2∨m7 (M3∨M4∨M5∨M6 三、推理证明题(10分) C∨D, (C∨D)( (E, (E((A∧(B), (A∧(B)((R∨S)(R∨S 证明:(1) (C∨D)((E (2) (E((A∧(B) (3) (C∨D)((A∧(B) (4) (A∧(B)((R∨S) (5) (C∨D)((R∨S) (6) C∨D (7) R∨S 2) (x(P(x)(Q(y)∧R(x)),(xP(x)(Q(y)∧(x(P(x)∧R(x)) 证明(1)(xP(x) (2)P(a) (3)(x(P(x)(Q(y)∧R(x)) (4)P(a)(Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)(x(P(x)∧R(x)) (11)Q(y)∧(x(P(x)∧R(x)) 四、设m是一个取定的正整数,证明:在任取m+1个整数中,至少有两个整数,它们的差是m的整数倍 证明 设,,…,为任取的m+1个整数,用m去除它们所得余数只能是0,1,…,m-1,由抽屉原理可知,,,…,这m+1个整数中至少存在两个数和,它们被m除所得余数相同,因此和的差是m的整数倍。 五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分) 证明 ∵x( A-(B∪C)( x( A∧x((B∪C)( x( A∧(x(B∧x(C)( (x( A∧x(B)∧(x( A∧x(C)( x((A-B)∧x((A-C)( x((A-B)∩(A-C)∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={x,y| x,y(N∧y=x2},S={x,y| x,y(N∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分) 解:R-1={y,x| x,y(N∧y=x2},R*S={x,y| x,y(N∧y=x2+1},S*R={x,y| x,y(N∧y=(x+1)2}, 七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。 证明:因为f、g是双射,所以gf:A→C是双射,所以gf有逆函数(gf)-1:C→A。同理可推f-1g-1:C→A是双射。 因为x,y∈f-1g-1(存在z(x,z∈g-1(z,y∈f-1)(存在z(y,z∈f(z,x∈g)(y,x∈gf(x,y∈(gf)-1,所以(gf)-1=f-1g-1。 R{1,2}={1,1,2,4},S[{1,2}]={1,4}。 八、(15分)设A,*是半群,对A中任意元a和b,如a≠b必有a*b≠b*a,证明: (1)对A中每个元a,有a*a=a。 (2)对A中任意元a和b,有a*b*a=a。 (3)对A中任意元a、b和c,有a*b*c=a*c。 证明 由题意可知,若a*b=b*a,则必有a=b。 (1)由(a*a)*a=a*(a*a),所以a*a=a。 (2)由a*(a*b*a)=(a*a)*(b*a)=a*b*(a*a)=(a*b*a)*a,所以有a*b*a=a。 (3)由(a*c)*(a*b*c)=(a*c*a)*(b*c)=a*(b*c)=(a*b)*c=(a*b)*(c*a*c)=(a*b*c)*(a*c),所以有a*b*c=a*c。 九、给定简单无向图G=V,E,且|V|=m,|E|=n。试证:若n≥+2,则G是哈密尔顿图 证明 若n≥+2,则2n≥m2-3m+6 (1)。
显示全部
相似文档