下載本文檔
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、一、 填空1不能再分解的命題稱為_(kāi),至少包含一個(gè)聯(lián)結(jié)詞的命題稱為_(kāi)。2一個(gè)命題公式A(P, Q, R)為真的所有真值指派是000, 001, 010, 100,則其主析取范式是_,其主合取范式是_。3設(shè) A=a,b,c,B=b,c,d,e,C=b,c,則( A È B ) Å C _。4冪集 P(P(Æ) _。5設(shè)A為任意集合,請(qǐng)?zhí)钊脒m當(dāng)運(yùn)算符,使式子A_A=Æ;A_A=Æ成立。6設(shè)A=0,1,2,3,6,R=x,y|xy(x,yA)yx(mod 3),則D(R)=_,R(R)=_。7稱集合S是給定非空集合A的覆蓋:若S=S1,S2,Sn,其中
2、SiA,SiØ,i=1,2,n,且_ _;進(jìn)一步若_ _,則S是集合A的劃分。8兩個(gè)重言式的析取是_ _式,一個(gè)重言式和一個(gè)永假式的合取式是 式。9公式 (PQ) (PQ)的主析取范式是 。10. 已知=ab,c是A=a,b,c的一個(gè)劃分,由決定的A上的一個(gè)等價(jià)關(guān)系是 。二、 證明及求解1求命題公式(PQ)(QP)的主析取范式。2推理證明題1)ØPQ,ØQR,R®SÞP®S。2) ("x)(P(x)®Q(y)R(x),($x)P(x)ÞQ(y)($x)(P(x)R(x)3設(shè)A=0,1,2,3,R=x,y|
3、x,yA(y=x+1y=),S=x,y|x,yA(x=y+2)。試求RSR。4證明:R是傳遞的ÛR*RÍR。5設(shè)R是A上的二元關(guān)系,S=<a, b>| 存在cA,使<a, c>R,且<c, b>R。證明:若R是等價(jià)關(guān)系,則S也是等價(jià)關(guān)系。6若f:AB和g:BC是雙射,則(gof)-1=f-1og-1。7符號(hào)化下列命題,并證明結(jié)論的有效性。只要今天天氣不好,就一定有考生不能提前進(jìn)入考場(chǎng),當(dāng)且僅當(dāng)所有考生提前進(jìn)入考場(chǎng),考試才能準(zhǔn)時(shí)進(jìn)行。所以,如果考試準(zhǔn)時(shí)進(jìn)行,那么天氣就好。8畫(huà)出集合S=1,2,3,4,5,6在偏序關(guān)系“整除”下的哈斯圖,并討
4、論:1)寫(xiě)出 1,2,3,4,5,6的最大(小)元和極大(小)元;2)分別寫(xiě)出2,3,6和2,3,5的上(下)界、上(下)確界。9. 設(shè)R是A=1,2,3,4,5上的二元關(guān)系,R=<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,求r(R)、s(R)和t(R),并作出它們及R的關(guān)系圖。參考答案一、填空1原子命題;復(fù)合命題2;3a,d,e4Æ,Æ5Å;60,3,6;0,3,67S1S2SnS; SiSjÆ,1i<jn8重言;永假910. <a,a>
5、;,<b,b>,<b,c>,<c,b>,<c,c>二、證明及求解1解:(Øp®q)®( Øqp)ÛØ(Øp®q)(pØq)ÛØ(pq)(pØq)Û(ØpØq)(pØq) Û(ØppØq)(ØqpØq)Û(pØq)ÛM1Ûm0m2m321)證明:(1)P 附加前提(2)ØPQ P(3)Q T(
6、1)(2),I(4)ØQR P(5)R T(3)(4),I(6)R®S P(7)S T(5)(6),I(8)P®S CP2) 證明(1)$xP(x)P(2)P(a)ES(1)(3)"x(P(x)®Q(y)R(x)P(4)P(a)®Q(y)R(a)US(3)(5)Q(y)R(a)T(2)(4),I(6)Q(y)T(5),I(7)R(a)T(5),I(8)P(a)R(a)T(2)(7),I(9)$x(P(x)R(x)EG(8)(10)Q(y)$x(P(x)R(x)T(6)(9),I3解:R=<0,1>,<1,2>,
7、<2,3>,<0,0>,<2,1>,S=<2,0>,<3,1>,RS=<1,0>,<2,1>,RSR=<1,1>,<1,0>,<2,2>4證明 若R是傳遞的,則<x,y>R*RÞ$z(xRzzSy)ÞxRccSy,由R是傳遞的得xRy,即有<x,y>R,所以R*RÍR。反之,若R*RÍR,則對(duì)任意的x、y、zA,如果xRz且zRy,則<x,y>R*R,于是有<x,y>R,即有xRy,所以R
8、是傳遞的。5證明 由R是A上的等價(jià)關(guān)系,知<a,a>R,故存在aA,使<a,a>R,且<a,a>R,故<a,a>S。若<a, b>S,則存在cA,使<a,c>R,且<c,b>R,由R的對(duì)稱性,<b,c>R,且<c,a>R,故<b,a>S。若<a, b>S,<b,c>S,存在dA,使<a,d>R,且<d,b>R,存在eA,使<b,e>R,且<e,c>R,由R的傳遞性,故存在eA,使<a,e>R,
9、且<e,c>R,所以<a, c>S。故S是等價(jià)關(guān)系。6證明:1)因?yàn)閒:AB和g:BC均是雙射,故f-1和g-1均存在,且f-1:BA,g-1:CB,所以f-1og-1:CA。由f和g是雙射,可知gof也是雙射,故(gof)-1存在且(gof)-1:CA。D(f-1og-1)=D(gof)-1=C2) 對(duì)任意cC存在唯一bB,使得g(b)=c存在唯一aA,使得f(a)=b,故 (f-1og-1)(c)= (f-1(g-1(c)=f-1(b)=a 但(gof)(a)=g(f(a)=g(b)=c 故(gof)-1(c)=a 因此對(duì)任意cC有:(gof)-1(c)= (f-1
10、og-1)(c) 由1),2)可知 f-1og-1(gof)-17解 設(shè)P:今天天氣好,Q:考試準(zhǔn)時(shí)進(jìn)行,A(e):e提前進(jìn)入考場(chǎng),個(gè)體域:考生的集合,則命題可符號(hào)化為:ØP®$xØA(x),"xA(x)«QÞQ®P。(1)ØP®$xØA(x) P(2)ØP®Ø"xA(x) T(1),E(3)"xA(x)®P T(2),E (4)"xA(x)«Q P(5)("xA(x)®Q)(Q®&qu
11、ot;xA(x) T(4),E(6)Q®"xA(x) T(5),I(7)Q®P T(6)(3),I81)最大元:無(wú);最小元:1;極大元:4,5,6;極小元:12)2,3,6的上界:6;下界:1;上確界:6;下確界:1。2,3,5的上界:無(wú);下界:1;上確界:無(wú);下確界:1。9. 解:r(R)=<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,1>,<2,2>,<3,3>,<5,5>s(R)=<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,2>,<4,2>,<4,3>R2=R5=<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>R3=<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<5,4>R4=<2,2>,<2,4>,<
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 大班保育工作計(jì)劃大班保育秋季工作計(jì)劃
- 七年級(jí)下冊(cè)地理教學(xué)工作計(jì)劃
- 大班綜合科教學(xué)計(jì)劃
- 2025外科護(hù)士長(zhǎng)2月份工作計(jì)劃
- 2025年度第一學(xué)期綜合教研組工作計(jì)劃
- 中小學(xué)教師職業(yè)道德個(gè)人總結(jié)工作計(jì)劃
- 公司員工銷售培訓(xùn)工作計(jì)劃
- 九年級(jí)英語(yǔ)教學(xué)計(jì)劃范本
- 七年級(jí)上冊(cè)人教版數(shù)學(xué)教學(xué)計(jì)劃從算式到方程
- 《城鎮(zhèn)土地價(jià)格》課件
- 中國(guó)音樂(lè)史與名作賞析智慧樹(shù)知到期末考試答案章節(jié)答案2024年山東師范大學(xué)
- MOOC 人工智能導(dǎo)論-浙江工業(yè)大學(xué) 中國(guó)大學(xué)慕課答案
- 京東招聘測(cè)評(píng)題庫(kù)答案大全
- 數(shù)字經(jīng)濟(jì)職業(yè)生涯規(guī)劃
- 雪鐵龍DS6說(shuō)明書(shū)
- 網(wǎng)球線下推廣方案
- 耳鼻喉考試題+答案
- 2024年中考九年級(jí)語(yǔ)文專題復(fù)習(xí)現(xiàn)代文閱讀 (答案)
- 2023人教版小學(xué)美術(shù)四年級(jí)上冊(cè)期末試卷含部分答案(三套)
- 2024年醫(yī)療器械培訓(xùn)記錄
- 社保醫(yī)?;局R(shí)簡(jiǎn)介課件
評(píng)論
0/150
提交評(píng)論