高等教育離散數(shù)學云昂版答案_第1頁
高等教育離散數(shù)學云昂版答案_第2頁
高等教育離散數(shù)學云昂版答案_第3頁
高等教育離散數(shù)學云昂版答案_第4頁
高等教育離散數(shù)學云昂版答案_第5頁
已閱讀5頁,還剩15頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領

文檔簡介

將下列命題符號化,并真值1;e1;數(shù),q:21;0;┐p∧┐q,其中,p:4q:4將下列命題符號化,并真值1;1;p∨┐q,其中,p:3q:41;┐p∨┐q,其中,p:3q:4p:選,q:選學日pq件為真,后件為情況);前件為真,后件為情況);(3)pq,0,否則,p→r1.5.(1):∨∨00、10、:0,式,無成真賦值:∨∨∨∨∨∨∨,重言式,000、00、 7.(1):∨∨∨?∧∧;(2):∨∨?∧∧∧;8.(1):1?∨∨∨(2):∨?∨∨∨∨∨∨(3):∧∧∧∧∧∧∧?0,式11.(1):∨∨?∧∧∧∧(2):∨∨∨∨∨∨∨(3):0?∧∧∧12.A?∧∧∧∧?∨∨為真,但在證明時,不考慮這一點,而只考慮*1Ap,Bq,*1(p→q)∧p→q??(┐p∨q)∧q?q??∨但不考慮內(nèi)在聯(lián)系時,*2(p→q┐)∧(r→q)→(r→┐p)(記為?(┐p∨┐q) ?(┐p∨q) ?∨∨5W略證明題序列可不惟一,下面對每一小題各給出一個證① ② ③ ④ ⑤ ⑥ ① ② ③ ④ ②③析?、?⑥ ① ② ③(┐p∨q)∧(┐p∨p)④ ⑤ 15.(1)① ② ③ ④ ⑤ ⑥ ⑦ (2)① ② ③ ④ ⑤ ⑥ ⑦ ⑧ 16.(1)① ②p→ ③┐q ④ ⑤ ⑥ ⑦ ⑧ (2)① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩ 口 前提引⑾①口┐(p∨q)∧(p∨q)17.p:A,q:A11,r:A,s:A。前提:(p∧┐q)→r,p,q→s,┐s①q→s②┐s③┐q④p⑤p∧┐q⑥(p∧┐q)→r⑦r18.(1)設p:今天是星期六,q:我們要到玩,s:游人太多。前提:p→(p∨r),s→┐q,p,s① ② ③ ④ ⑤ ⑥ ③⑥析取(2)設p:是理科學生,q:數(shù)學成績好,r:是文科學生。前提:p→q,┐r→p,┐q① ② ③ ④ ⑤ 4.(1)┐x(F(x)∧┐G(x))?x(F(x)→G(x),F(x):x,G(x):x┐x(F(x)→G(x))?x(F(x)∧┐G(x)),其中,F(x):x在賣菜,G(x):x是x(F(x)→G(x)),其中,F(x):x,G(x):xxF(x)∧G(x)),其中,F(x):x是人,G(x):x天天鍛煉身體。 域,因而使用全總域。5.(1)xy(F(x)∧G(y)→H(x,y)),其中,F(x):x,G(y):y,H(x,y):xyxy(F(x)∧G(y)→H(x,y)),其中,F(x):x,G(y):yH(x,y):xy┐x(F(x)∧y(G(y)H(x,y)))?x(F(x)y(G(y)┐H(x,y))),其中,F(x):x是汽車,G(y):y,H(x,y):xy┐x(F(x)→y(G(y)H(x,y)))?xy(F(x)∧G(y)∧┐H(x,y))),其中,F(x):x車,G(y):y,H(x,y):xyxy(x.y=xy(x.y=xy(yxy(x.y=xy(x.y=x+xy(x+y<09.(1)xy,x<y,x≠xy,x–y=0,xy,x<y,xy,x–y<0,其中,(1)(3)1(2)與(4)取解釋I為:域為自然數(shù)集合N,F(x,y):x≤y,在下,xyF(x,y)為真,而xyF(x,y)也為真(只需取x=0即可),于是(3)中為真,取解釋為:域仍為自然數(shù)集合N,而F(x,y):x=y。此時,xyF(x,y)為真(取y為x即可),可是xyF(x,y)為假,于是(3)中在下為假,這說明(3)中為可滿足式。IIxyF(x,y)xyF(x,y)→yxF(x,y)為真,若前件xyF(x,y)為真,必存在I的域D1中的常項x0,yF(x0,y)y∈,F(x0,y)x0∈,F(x0,y)為真,所以xF(x,y)為真,又其中y是任意變項,所以yxF(x,y)為真,由于I的任意性,所以(4)中為永真取解釋為:域為自然數(shù)集合,F(x,y):x=y在下,(5)中為真,而將F(x,y)改為F(x,y):x<y,(5)中就為假了,所以它為可滿足式。13.(1)取解釋為:域為自然數(shù)集合N,F(xiàn)(x):x為奇數(shù),G(x):x為偶數(shù),在下x(F(x)∨G(x))取解釋為:域為整數(shù)集合Z,F(xiàn)(x):x為正整數(shù),G(x):x為為負整數(shù),在下x(F(x)∨G(x))(2)與(3)提示:對每個分別找個成真的解釋,一個 解釋2.(1)(F(a)∧F(b)∧F(c))∧(G(a)∨G(b)∨G(F(a)∧F(b)∧F(c))∨(G(a)∧G(b)∧G(F(a)∧F(b)∧F(c))→(G(a)∧G(b)∧G(F(a,y)∨F(b,y)∨F(c,y))→(G(a)∨G(b)∨G過演算真值分別為:1,0,1.x?x?(F(3,3)∨F(3,4))∧(F(4,3)∨F(4x,轄域為(F(x)→G(x,y)),F(xG(x,y)x(F(x)∧(G(y)→H(x,y)))≠(F(x)∧G(y)→Hxy(F(x)→xt(x,y)→x4((F(,y)→G(,y))∧(G(,y)((F()→G(,))→(H()→L(,(F(,)→(F()→┐G(,13.(1)xy(F(x)∧G(y)∧H(x,y)),其中,F(xiàn)(x):x,G(y):y,H(x,y):xxy(F(x)∧G(y)→H(x,y)),其中,F(xiàn)(x):x,G(y):y,H(x,y):xxy(F(x)∧G(y)∧┐H(x,y)),其中,F(xiàn)(x):x,G(y):y,H(x,y):xyxy(F(x)∧G(y)┐H(x,y)),其中,F(xiàn)(x):x,G(y):y,H(x,y):xy14.(1)F(x)xG(x)EIF(x)→xG(x)<=>x(F(y)→G(x))因為量詞轄域(F(y)→G(x))xy,EI對xF(x)→yG(y)也應先化成前束范式才能消去量詞,其前束范式為x→G(y)),UIEIA(c)/∴x(x)其中c為特定的常項,這里A(y)=F(y)→G(y)不滿足要求如,F(xiàn)(x):x,G(x):xF(3)∧G(4)F(x)∧G(x)為真的個這里c為常項,不能對F(c)→G(c)引入全稱量詞15.(1)證明:① 前提引②xF(x)→y((F(y)∨G(y)) ③y((F(y)∨G(y)) ⑧ 證明① 前提引② ⑧ 證明:①┐ 前提引② ④ ③⑤析?、?證明① 前提引 ③ ⑤x ④⑥析取 ②⑦析取⑨ 17.20.(1)與(2)前提:x(F(x)→G(x)),F(xiàn)(6)結論(2)設F(x):x是大學生,G(x):x是勤奮的,a:。前提:x(F(x)→G(x)),┐G(a)結論前提:x(F(x)→G(x)),x(F(x)∧H(x))結論:前提:x((F(x)∨G(x))→H(x)),x(I(x)→┐H(x))結論:證明① 前提引 ③ ②⑤假言⑦ 前提:x(┐F(x)→┐G(x)),x(G(x)∨H(x)),x┐H(x)結論:證明① 前提引 ③ ②④析取⑥x(F(x) ⑨ 前提:x(F(x)→G(x)),x(G(x)∧H(x)→I(x)),a:王大海,F(xiàn)(a),H(a)證明 前提引② ⑥

4.(1)③(2)④(3)⑤(4)⑦(5)6.只有(2)9.(1){4};(2){1,3,5,6};(3){2,3,4,5,6};(4){,{1}};(5){{411.(1);(2)22.(2)、(3)、(4)、(8)、(10)24.(1)(P-Q)=P?(P-Q)∩Q=P∩Q?=(2)(3)(4)的反例:P={1},Q26.(A–B)∪(B–A)= B)∪(B∩=(A∪B)∩( A)∩( =(A∪B)∩E∩(A∩B)=(A∪B)-27.(1)(A-B)-C= C=A∩(B∪C)=A-(2)(A-C)-(B- (B∩ B∪C)=(A∩ C=(A–B)-(3)(A–B- C C∩28.(1)A∩(B∪A)=(A∩B)∪(A∩A)(2) A) ( =(A∩B)∪A=26(A-B)∪(B-A)=(A∪B)–(A∩B),故(A-B)∪(B-A)A∪B。假若x∈A∩B,x∈A∪B,因此x(A∪B)-(A∩B),與(A-B)∪(B-A)=(A∪B)-(A∩B)=A∪BAB?x(x∈A→x∈B)?x(xB→x? AB A∪AA∪B? 而A∪BE,因此AB A∪B=E反之A∪B=E? A∪B)=A?A∩B=A?A綜合上述,A A∪B=AB?A-B=?A-BA-BB?(A-B)∪BB?A∪BB?A∪B=B?AAB?A-Bx,x∈A?{x}A=>{x}∈P(A)=>{x}∈P(B)=>{x}B?CA∧CBCA∩B,x,x∈Cx∈C∧x∈Cx∈A∧x∈Bx∈A∪B,從而得CA∪B.CA∩B?CA∧CB,CA∩BA,CA∩BBPQ?P-Q=?P- P,反之,P-QP P∩(P-Q)P∩P?P-Q=?PX=,則有∪YY=.AB? A A?EB∪A因為E為全集 AE綜合上述 A∩CB∩C,A-CB-C,A∪CB∪D(A∩C)∪(A-C)(B∩C)∪(B-C)~ C)(B∩C)∪(B∩~ C) C)?A∩EB∩E?A39.x,x∈P(A)?xA?xB?x∈P(B),P(A)40.(1)xx∈P(A)∩P(B)?x∈P(A)∧x∈P(B)?xA∧xB?x(2)xx∈P(A)∪P(B)?x∈P(A)∨x∈P(B)?xA∧x~x注意與(1)的推理不同,上面的推理中有一步是“?”符號,而不是“?(3)反例如下:A{1},B{2},則P(A)∪P(B)={,{1},{2}}P(A∪B)={3.(1)任取<x,y<x,y>∈(A∩B)×(C∩D)<=>x∈A∩B∧y∈C∩?x∈A∧x∈B∧y∈C∧y∈?(x∈A∧y∈C?<x,y>∈A×C∧<x,y(2)A={1},B={1,2},C={2},D4.(1)為假,反例如下:A={1},B=,C=為真,證明如下:任取<x,y>A=即可;為假,反例如下:A7.={<2,2>,<3,3={<2.3>,<2,4>,<3,2>,<3,4>,<4,2>,<4,3>}9.(1){<1,2>,<1,4>,<1,6>,<2,1>,<2,2>,<2,4><2,6>,<4,1>,<4,2>,<4,4>,<4,6><6,2>,<6,4>12.(略13.A∩B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>},A∩BdomA={1,2,3},domB={1,2,4},dom(A∪B)=ranA={2,3,4},ranB={2,3,4},ran(A∪B)={4},fld(A-B)=14.RR=R=R{0,1}=R[{1,2}]={2,3}18.(1)F(G∪H)=FG∪FH任取<x,y><x,y>∈F???t(<x,t>∈F∧<t,y>∈G)∨?<x,t>∈FG∨<x,t>∈FH?<x,y>∈FG∪FH19.(2)y,y∈R[T∪W]????x(x∈T∧<x,y>∈R)∨<x,y>∈F?<x,y>∈FA∧<x,y>∈F?<x,y>∈FA∩F20.(1)任取<x,y>,<x,y>∈(∪)<=><y,x>∈∪?<x,y>∈∨ (2)和(1)1+1≠10,<1,1>R,R<5,5>∈R,RxRy?x+y=10=>yRx,可知R是對稱的,又由于<1,9>,<9,1>都是屬于R,因此R不是稱的22.(1)7.15(P148)具有反自反性、稱性、傳遞性26.(1)R={<3,3>,<3,1>,<3,5>},=31.(1)R={<2,3>,<3,2>,<2,4>,<4,2>,<3,4>,<4,3>}∪;(2)R;32.(1)不是等價關系,因為<1,1>R,R(3)不是等價關系,因為<2,2>R,R(4)R(5)33.7.17[a]=[b]={a,b},[c]=[d]=x,x∈A?<x,x>∈R?~<x,x>∈R∧<x,x>∈?任取<x,y>,有<x,y>∈R∩~<y,x>∈∧<y,x>∈R?任取<x,y>,<y,z>,<x,y>∈R∩~<x,y>∈R∧<x,y>∈~(<x,y>∈R∧<y,z>∈R)∧(<x,y>∈~<x,z>∈R∧<x,z>∈R?反的。x,y∈A,<x,y>∈T?<x,y>∈R∧<y,x>∈R?<y,x>∈R∧<x,y>∈R?<y,x>∈T,T。x,y,z∈A,<x,y>∈T∧<y,z>∈T~T44.(a)偏序集<A,R>,A={1,2,3,4,5},R={<1,3>,<1,5>,<2,4>,<2,5>,<3,5>,<4,5>}∪偏序集<A,R>,A={a,b,c,d,e,f},R={<a,b>,<c,d>,<e,f>}∪偏序集R={<1,2>,<1,4>,<1,5>,<1,3>,<2,4>,<2,5>,<3,4>,<3,5>,<4,5>}∪45.(a)A={a,b,c,d,e,f,g}, (b)A={a,b,c,d,e,f,g},R46.7.19e,f;a,f;a,b,d,e;a,b,c,e;2.={,,…=========3.(1)雙射,反函數(shù)=,f({8}=|8|),雙射,反函數(shù):R→R,(x)=logx,({1})= ({1,2})單射,({5})= ({2,3})=單射,({2,3})= ({1,3})=單射,({-1,2})= ({1})={-單射,((0,1))=(1/4,3/4),([1/4,1/2])=(8)單射,((0,1))=(1,+∞),({2,3})=4.(1)(2)(3)(4)(5)(6)5.(1)7.(1)結果不唯一,結果不唯一,mnmn,m=n.9.n!17.fg(x)=2x+7,bf(x)=2x+4,ff(x)=x+6,gg(x)=4xhf(x)=x/2+3,gh(x)=x+1/2,fh(x)=(x+5)/2ghf(x)=x18.ff(n)=n+2,gf(n)=2n+1,fg(n)=2n+2,gh(n)=0hg(n)=,hgf(n)=.19.(1)gf(x)=x+8x+14,fg(x)=x+2(3)gh,g:R→R,g(x)x–4;h:R→R,h(x)=fg:N→Nfg(x)21.(1)f()=f(),那么<,+1>=<,+1>。根據(jù)有序?qū)ο嗟鹊臈l件得ff<0,0>ran(3)ran={<n,n+24.(1)f=(2)f(x)=(3)f(x)=|x|-(4)f(x)=令:P(A)→2,(T)=Xт,假如,∈P(A),且≠,那么存在x只屬于和之中的一個集合,不妨設x∈∧x ,因此<x,1>∈(),<x,0>∈(),于是()≠(),從而證明了是單射的,對于任意g∈2,令B={x|x∈A,g(x)=1},則B∈P(A),且(B)=Xв=g.令:[1,2]→[0,1],(x)=x–1,則為[1,2]到[0,1]的雙射函數(shù)令:A→N,(x)=x/2,則為雙射函數(shù)6.提示:根據(jù)A≈C,B≈D,存在雙射:A→C,g:B→D,構造函數(shù)h:A×B→C×D,h(<a,=<(a),g(b)>h7.A={2n|n∈N},B={29.(1)3∪6=6,2∩5=(2)4–3={3},3⊕1=(3)∪4=3,∩1=(4)1×4={<0,0>,<0,1>,<0,2>,<0,3>},2={,,,},其中:={<0,0>,<1,0>}={<0,0>,<1,1>}={<0,1>,<1,0>}={<0,1>,<1,1>}10.(1)3,(2),(3),(4),(5),(6)3.(1)可以,A={-4.(1)封閉(2)不封閉(4)加法不封閉,乘法封閉(5)不封閉(7)封閉(9)5.(1)加法滿換律、結合律,乘法滿足結合律,乘法對加法滿足分配律加法和乘法都滿換律、結合律,乘法對加法滿足分配律乘法滿換律、結合律乘法滿換律、結合律乘法滿換律、結合律6.(1)n0;nnMM;n0)對M.nMM0,xxn=11,只有兩個可逆元素:1=1,(-1)=-n>11,1,1=1,1,118.(1)不可交換。反例:<0,1>*<1,2>=<0,1>,<1,2>*<0,1>=可結合,因為<a,b>,<c,d>,<g,f>∈Q×(<a,b>*<c,d>)*<g,f>=<ac,ad+b>*=<acg,acf+ad+<a,b>*(<c,d>*<g,f>)=<a,b>*<cg,cf+=<acg,acf+ad+不是冪等的,因為<1,1>*<1,1>=(2)容易嚴整<1,0>為單位元,沒有零元,當a≠0時,<a,b>的逆元為<1/a,- 換律、結合律、無單位元,零元是1; 15.(1)能(2)不能(3)不能(4)2.(1)5.(1)a*bb*a,a*baaba*bbb*aa。若為前者,則(a*b)*a=a*a=b,a*(b*a)=a*b=a與結合律,若為后者,(a*b)*a=b*a=a;a*(b*a)=a*a=也與結合律(2)b*b=aa*b=b*a=a,a*b=b*a=b(b*a)*a=a*a=b;b*(a*a)=b*b=與結合律,若為后者,(b*a)*a=b*a=b;b*(a*a)=b*b=也與結合律7.a+bi,c+di∈G(abi)+(cdi)=(ac)+(bd)i∈Ga+bi,c+di,e+i∈G,有((a+bi)+(c+di))+(e+i)=(a+c)+(b+d)i+(r+=(a+c+e)+(b+d+)(a+bi)+((c+di)+(e+i))=(a+c+e)+(b+d+)0,a+bia–bi9.能構成群,運算封閉。x,y,z∈A(xy)z=(x+y-2)z=(x+y-2)+z–2=x+y+z–4x(yz)=xо(y+z-2)=x+(y+z-2)–2=x+y+z–2,x4–x11.設矩陣A=,B=,C=,D=,11.7·ABCDAABCDBBADCCCDABDDCBA13.(2)a,b∈G(ab)(ba)=a(bb)a=aa=e(ba)(ab)=b(aa)b=bbaabm,nn,ma∈G,m=0,(a)=e=假設(a)=a,(a =(a)a=aa=a=(a)=(a)=((a))=(a)=a=aGnnN=0,(ab)=e=ee=a假設(ab)=ab,則 =(ab)(ab)=(ab)ab=a(b=a(ab)b=(aa)(bb)= n<0,n=-m,m>0(ab)=(ba)=(ba)=((ba))=(ab=(a)(b)=ab=a16.若x∈Gx=e,因此x∈Gx=x.x,y∈G,xy=(xy)=yx=17.a

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論