版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、-. z.一、填空題1 設(shè)集合A,B,其中A1,2,3, B= 1,2, 則A - B_; (A) - (B) _ .2. 設(shè)有限集合A,|A| = n, 則 |(AA)| = _.3. 設(shè)集合A = a, b, B = 1, 2, 則從A到B的所有映射是_ _, 其中雙射的是_.4. 命題公式G(PQ)R,則G的主析取式是_.6 設(shè)A、B為兩個(gè)集合, A= 1,2,4, B = 3,4, 則從AB_; AB_;AB _ .7. 設(shè)R是集合A上的等價(jià)關(guān)系,則R所具有的關(guān)系的三個(gè)特性是_, _, _.8. 設(shè)命題公式G(P(QR),則使公式G為真的解釋有_,_,_.9. 設(shè)集合A1,2,3,4,
2、 A上的關(guān)系R1 = (1,4),(2,3),(3,2), R2 = (2,1),(3,2),(4,3), 則R1R2 = _,R2R1 =_,R12 =_.10. 設(shè)有限集A, B,|A| = m, |B| = n, 則| |(AB)| = _.11 設(shè)A,B,R是三個(gè)集合,其中R是實(shí)數(shù)集,A = * | -1*1, *R, B = * | 0* 6 (D)下午有會(huì)嗎?5 設(shè)I是如下一個(gè)解釋:Da,b, 則在解釋I下取真值為1的公式是( ).(A)*yP(*,y) (B)*yP(*,y) (C)*P(*,*) (D)*yP(*,y).6. 假設(shè)供選擇答案中的數(shù)值表示一個(gè)簡(jiǎn)單圖中各個(gè)頂點(diǎn)的度,
3、能畫(huà)出圖的是( ).(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6).7. 設(shè)G、H是一階邏輯公式,P是一個(gè)謂詞,G*P(*), H*P(*),則一階邏輯公式GH是( ).(A)恒真的 (B)恒假的 (C)可滿足的 (D)前束式.8設(shè)命題公式G(PQ),HP(QP),則G與H的關(guān)系是( )。(A)GH (B)HG (C)GH (D)以上都不是.9設(shè)A, B為集合,當(dāng)( )時(shí)ABB.(A)AB(B)AB(C)BA(D)AB.10 設(shè)集合A = 1,2,3,4, A上的關(guān)系R(1,1),(2,3),(2,4),(3,
4、4), 則R具有( )。(A)自反性 (B)傳遞性(C)對(duì)稱性 (D)以上答案都不對(duì)11以下關(guān)于集合的表示中正確的為( )。(A)aa,b,c (B)aa,b,c(C)a,b,c (D)a,ba,b,c12 命題*G(*)取真值1的充分必要條件是( ).對(duì)任意*,G(*)都取真值1. (B)有一個(gè)*0,使G(*0)取真值1. (C)有*些*,使G(*0)取真值1. (D)以上答案都不對(duì).13. 設(shè)G是連通平面圖,有5個(gè)頂點(diǎn),6個(gè)面,則G的邊數(shù)是( ).(A)9條 (B)5條 (C)6條 (D)11條.15. 設(shè)圖G的相鄰矩陣為,則G的頂點(diǎn)數(shù)與邊數(shù)分別為( ).(A)4, 5 (B)5, 6 (
5、C)4, 10 (D)5, 8.三、計(jì)算證明題1.設(shè)集合A1, 2, 3, 4, 6, 8, 9, 12,R為整除關(guān)系。畫(huà)出半序集(A,R)的哈斯圖;寫出A的子集B = 3,6,9,12的上界,下界,最小上界,最大下界;寫出A的最大元,最小元,極大元,極小元。設(shè)集合A1, 2, 3, 4,A上的關(guān)系R(*,y) | *, yA 且 * y, 求畫(huà)出R的關(guān)系圖;寫出R的關(guān)系矩陣.設(shè)R是實(shí)數(shù)集合,,是R上的三個(gè)映射,(*) = *+3, (*) = 2*, (*) */4,試求復(fù)合映射,, ,,.4. 設(shè)I是如下一個(gè)解釋:D = 2, 3, abf (2)f (3)P(2, 2)P(2, 3)P(
6、3, 2)P(3, 3)32320011試求(1)P(a, f (a)P(b, f (b);(2) *y P (y, *).5. 設(shè)集合A1, 2, 4, 6, 8, 12,R為A上整除關(guān)系。畫(huà)出半序集(A,R)的哈斯圖;寫出A的最大元,最小元,極大元,極小元;寫出A的子集B = 4, 6, 8, 12的上界,下界,最小上界,最大下界.6. 設(shè)命題公式G = (PQ)(Q(PR), 求G的主析取式。7. (9分)設(shè)一階邏輯公式:G = (*P(*)yQ(y)*R(*),把G化成前束式.9. 設(shè)R是集合A = a, b, c, d.R是A上的二元關(guān)系, R = (a,b), (b,a), (b,
7、c), (c,d),求出r(R), s(R), t(R);畫(huà)出r(R), s(R), t(R)的關(guān)系圖.11. 通過(guò)求主析取式判斷以下命題公式是否等價(jià):(1) G = (PQ)(PQR) (2) H = (P(QR)(Q(PR)13. 設(shè)R和S是集合Aa, b, c, d上的關(guān)系,其中R(a, a),(a, c),(b, c),(c, d), S(a, b),(b, c),(b, d),(d, d).(1) 試寫出R和S的關(guān)系矩陣;(2) 計(jì)算RS, RS, R1, S1R1.四、證明題參考答案一、填空題1. 3; 3,1,3,2,3,1,2,3.1= (a,1), (b,1), 2= (a,
8、2), (b,2),3= (a,1), (b,2), 4= (a,2), (b,1); 3, 4.(PQR).12, 3. 4, 1, 2, 3, 4, 1, 2.自反性;對(duì)稱性;傳遞性.(1, 0, 0), (1, 0, 1), (1, 1, 0).(1,3),(2,2),(3,1); (2,4),(3,3),(4,2); (2,2),(3,3).2mn* | -1* 0, *R; * | 1 * 2, *R; * | 0*1, *R.12; 6.(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6).*(P(*)Q(*).21.(R(
9、a)R(b)(S(a)S(b).(1, 3),(2, 2); (1, 1),(1, 2),(1, 3). 二、選擇題 C. 2. D. 3. B. 4. B. D. 6. C. 7. C.8. A. 9. D. 10. B. 11. B. 13. A. 14. A.15. D三、計(jì)算證明題1. (1)(2) B無(wú)上界,也無(wú)最小上界。下界1, 3; 最大下界是3.(3) A無(wú)最大元,最小元是1,極大元8, 12, 90+; 極小元是1.2.R = (1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4).(1) (2)3. (1)(*
10、)(*)+32*+32*+3.(2)(*)(*)+3(*+3)+3*+6,(3)(*)(*)+3*/4+3, (4)(*)(*)/42*/4 = */2,(5)()+32*/4+3*/2+3.4. (1) P(a, f (a)P(b, f (b) = P(3, f (3)P(2, f (2)= P(3, 2)P(2,3)= 10= 0. (2) *y P (y, *) = * (P (2, *)P (3, *) = (P (2, 2)P (3, 2)(P (2, 3)P (3, 3)= (01)(01)= 11= 1.5. (1)(2) 無(wú)最大元,最小元1,極大元8, 12; 極小元是1.(3
11、) B無(wú)上界,無(wú)最小上界。下界1, 2; 最大下界2.6. G = (PQ)(Q(PR)= (PQ)(Q(PR)= (PQ)(Q(PR)= (PQ)(QP)(QR)= (PQR)(PQR)(PQR)(PQR)(PQR)(PQR)= (PQR)(PQR)(PQR)(PQR)(PQR)= m3m4m5m6m7 = (3, 4, 5, 6, 7).7. G = (*P(*)yQ(y)*R(*)= (*P(*)yQ(y)*R(*)= (*P(*)yQ(y)*R(*)= (*P(*)yQ(y)zR(z)= *yz(P(*)Q(y)R(z)9. (1) r(R)RIA(a,b), (b,a), (b,c)
12、, (c,d), (a,a), (b,b), (c,c), (d,d),s(R)RR1(a,b), (b,a), (b,c), (c,b) (c,d), (d,c),t(R)RR2R3R4(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d);(2)關(guān)系圖:11. G(PQ)(PQR)(PQR)(PQR)(PQR)m6m7m3 (3, 6, 7)H = (P(QR)(Q(PR)(PQ)(QR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)m6m3m7 (3, 6, 7)G,H的主析取
13、式一樣,所以G = H.13. (1)(2)RS(a, b),(c, d),RS(a, a),(a, b),(a, c),(b, c),(b, d),(c, d),(d, d), R1(a, a),(c, a),(c, b),(d, c),S1R1(b, a),(d, c).四 證明題2. 設(shè)A,B為任意集合,證明:(A-B)-C = A-(BC).3. (此題10分)利用形式演繹法證明:AB, CB, CD蘊(yùn)涵AD。4. (此題10分)A, B為兩個(gè)任意集合,求證:A(AB) = (AB)B .1. 利用形式演繹法證明:PQ, RS, PR蘊(yùn)涵QS。1. 證明:PQ, RS, PR蘊(yùn)涵QS(1) PRP(2) RPQ(1)(3) PQP(4) RQQ(2)(3)(5) QRQ(4)(6) RSP(7) QSQ(5)(6)(8) QSQ(7)2. 證明:(A-B)-C = (AB)C = A(BC)= A(BC)= A-(BC)3.證明:A
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年安全門項(xiàng)目可行性研究報(bào)告
- 種蘑菇戶外課程設(shè)計(jì)
- 2025年中國(guó)桂圓干市場(chǎng)前景預(yù)測(cè)及投資規(guī)劃研究報(bào)告
- 2025年柴油無(wú)輪式壓縮機(jī)項(xiàng)目投資可行性研究分析報(bào)告
- 2025年單管浴巾掛件行業(yè)深度研究分析報(bào)告
- 2025年振動(dòng)式光飾機(jī)行業(yè)深度研究分析報(bào)告
- 2025年中國(guó)彩色超聲波診斷儀行業(yè)市場(chǎng)供需預(yù)測(cè)及投資戰(zhàn)略研究咨詢報(bào)告
- 2025年新課標(biāo)教材小學(xué)數(shù)學(xué)教學(xué)課程設(shè)計(jì)范文
- 鍋爐爆炸課程設(shè)計(jì)
- 課程設(shè)計(jì)壓力機(jī)
- 服裝板房管理制度
- 2024年縣鄉(xiāng)教師選調(diào)進(jìn)城考試《教育學(xué)》題庫(kù)及完整答案(考點(diǎn)梳理)
- 車借給別人免責(zé)協(xié)議書(shū)
- 河北省興隆縣盛嘉恒信礦業(yè)有限公司李杖子硅石礦礦山地質(zhì)環(huán)境保護(hù)與治理恢復(fù)方案
- 第七章力與運(yùn)動(dòng)第八章壓強(qiáng)第九章浮力綜合檢測(cè)題(一)-2023-2024學(xué)年滬科版物理八年級(jí)下學(xué)期
- 醫(yī)療機(jī)構(gòu)診療科目名錄(2022含注釋)
- 微視頻基地策劃方案
- 光伏項(xiàng)目質(zhì)量評(píng)估報(bào)告
- 八年級(jí)一本·現(xiàn)代文閱讀訓(xùn)練100篇
- 2023年電池系統(tǒng)測(cè)試工程師年度總結(jié)及下一年計(jì)劃
- 應(yīng)急預(yù)案評(píng)分標(biāo)準(zhǔn)表
評(píng)論
0/150
提交評(píng)論