![2023年電大離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)新版_第1頁](http://file4.renrendoc.com/view/8fe447e578b0c54f32096fa443c43720/8fe447e578b0c54f32096fa443c437201.gif)
![2023年電大離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)新版_第2頁](http://file4.renrendoc.com/view/8fe447e578b0c54f32096fa443c43720/8fe447e578b0c54f32096fa443c437202.gif)
![2023年電大離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)新版_第3頁](http://file4.renrendoc.com/view/8fe447e578b0c54f32096fa443c43720/8fe447e578b0c54f32096fa443c437203.gif)
![2023年電大離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)新版_第4頁](http://file4.renrendoc.com/view/8fe447e578b0c54f32096fa443c43720/8fe447e578b0c54f32096fa443c437204.gif)
![2023年電大離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)新版_第5頁](http://file4.renrendoc.com/view/8fe447e578b0c54f32096fa443c43720/8fe447e578b0c54f32096fa443c437205.gif)
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
離散數(shù)學(xué)數(shù)理邏輯部分期末復(fù)習(xí)輔導(dǎo)一、單項選擇題1.設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間”符號化為().A.B.C.D.復(fù)習(xí):P→Q表達(dá)的邏輯關(guān)系是,P是Q的充足條件,或Q是P的必要條件.因此“只要P則(就)Q”,“P僅當(dāng)Q”,“只有Q才P”等,都可用復(fù)合命題P→Q表達(dá).解由于語句“我有時間”是“我將去打球”的必要條件,所以選項B是對的的.記?。骸癙僅當(dāng)Q”即表達(dá)為P→Q.答B問:假如把“我將去打球”改成“我將去市里”、“我將去旅游”等,會符號化嗎?2.設(shè)命題公式G:,則使公式G取真值為1的P,Q,R賦值分別是().A.0,0,0B.0,0,1C.0,1,0D.解對于選項A、B、C、D中,QR的真值為0,要使公式G取真值為1,必需P的真值為0,從而P的真值為1,所以選項D是對的的.答D若題目改為:設(shè)命題公式P(QR)取真值為1,則P,Q,R的賦值是.答1,0,0;1,0,1;1,1,0;1,1,1;0,1,13.命題公式(PQ)R的析取范式是().A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R復(fù)習(xí):范式:一個命題公式稱為析取(合?。┓妒?當(dāng)且僅當(dāng)它具有形式:A1A2…An(A1A2…An),(n1其中A1,A2,…,An均是由命題變元或其否認(rèn)所組成的簡樸合?。ㄎ鋈。┦?對于給定的命題公式,假如有一個等價公式,它僅僅由小項(大項)的析取(合?。┙M成,則該等價式稱為原式的主析?。ㄖ骱先?范式.求命題公式的主析取(主合?。┓妒降耐蒲莪h(huán)節(jié):(1)一方面將公式化為析?。ê先。┓妒?①將公式中的聯(lián)結(jié)詞化歸成,及.(運用雙條件等價式PQ(PQ)(QP)消去,運用蘊含等價式PQPQ消去)②運用德·摩根律將否認(rèn)符號直接移到各個命題變元之前.③運用合取對析?。ㄎ鋈先?的分派律、結(jié)合律將公式歸約為析取范式(合取范式).(2)除去析取(合取)范式中永假(真)的析取(合?。╉棧⑽鋈。ê先。┓妒街蟹磸?fù)出現(xiàn)的合取(析取)項和相同變元合并.(3)對于不是小項(大項)的合取(析取)式,補入沒有出現(xiàn)的命題變元,即通過合?。ㄎ鋈?添加(PP)((PP))式,然后應(yīng)用合取(析?。ξ鋈?合?。┑姆峙陕烧归_公式.(4)合并相同的小項(大項),并將小項(大項)按編碼從小到大的順序排列,可用∑(∏)表達(dá)之.主析取范式與主合取范式的關(guān)系:一般地,若命題公式A的主析取范式為∑(i1,i2,…,ik)則公式A的主合取范式為∏(0,1,…,i1-1,i1+1,…,ik-1,ik+1,…,2n-1)解答D4.命題公式(PQ)的合取范式是().A.PQB.(PQ)(PQ)C.PQD.(PQ)答C5.命題公式的析取范式是().A.BC.D.解答A注意:第3、4、5題復(fù)習(xí)了合取范式和析取范式的概念,大家一定要記住的。假如題目改為求一個變元(P或P)命題公式的合取范式或析取范式,那么答案是什么?6.下列等價公式成立的為().A.PQPQB.P(QP)P(PQ)C.Q(PQ)Q(PQ)D.P(PQ)Q解A.PQ(PQ)B.P(QP)P(QP)P(PQ)P(PQ)C.Q(PQ)Q(PQ)D.P(PQ)(PP)(PQ)1(PQ)PQ答B(yǎng)7.下列公式成立的為().A.PQPQB.PQPQC.QPPD.P(PQ)Q解A.PQ(PQ)B.PQPQC.(QP)P(QP)P(QP)P(QP)(PP)(QP)1PQ(不是永真式)D.P(PQ)Q(析取三段論,P171公式(10))或者直接推導(dǎo):P(PQ)Q(P(PQ))Q(P(PQ))Q((PP)(PQ))Q(PQ)QP(QQ)P11所以P(PQ)Q答D8.下列公式中()為永真式.A.ABABB.AB(AB)C.ABABD.AB(AB)解由定理6.5.3有,AB的充足必要條件是AB為永真式(重言式)A.,B.,C.,D.,答B(yǎng)9.下列公式()為重言式.A.PQPQB.(Q(PQ))(Q(PQ))C.(P(QP))(P(PQ))D.(P(PQ))Q解A.,B.C.所以,(P(QP))(P(PQ))1D.答C說明:(1)假如本題題目改為“下列公式()為永真式”,應(yīng)當(dāng)是同樣的.(2)上述兩題也可以運用公式AB(AB)(BA)直接驗證.10.設(shè)A(x):x是人,B(x):x是學(xué)生,則命題“不是所有人都是學(xué)生”可符號化為().A.(x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x))D.(x)(A(x)B(x))解(x)(A(x)B(x))表達(dá)“所有人都是學(xué)生”,它的否認(rèn)即為公式C.答C11.設(shè)A(x):x是人,B(x):x是工人,則命題“有人是工人”可符號化為().A.(x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x))D.(x)(A(x)B(x))答A12.設(shè)C(x):x是國家級運動員,G(x):x是健壯的,則命題“沒有一個國家級運動員不是健壯的”可符號化為().A.B.C.D.答D13.表達(dá)式中的轄域是().A.P(x,y)B.P(x,y)Q(z)C.R(x,y)D.P(x,y)R(x,y)答B(yǎng)注意:假如該題改為判斷題,即表達(dá)式中的轄域是P(x,y).如何判斷并說明理由呢?14.在謂詞公式(x)(A(x)→B(x)C(x,y))中,().A.x,y都是約束變元B.x,y都是自由變元C.x是約束變元,y是自由變元D.x是自由變元,y是約束變元答C注:假如該題改為填寫約束變元或自由變元的填空題,大家也應(yīng)當(dāng)掌握.補充題:設(shè)個體域為自然數(shù)集合,下列公式中是真命題的為().A.B.C.D.解由于選項A表達(dá):對任一自然數(shù)x存在自然數(shù)y滿足xy=1,這樣的y是不存在的選項B表達(dá):對任一自然數(shù)x存在自然數(shù)y滿足x+y=0,這樣的y也是不存在的選項C表達(dá):存在一自然數(shù)x對任意自然數(shù)y滿足xy=x,取x=0即可,故選項C對的選項D表達(dá):存在一自然數(shù)x對任意自然數(shù)y滿足x+y=2y,這樣的x是不存在的答C15.設(shè)個體域D={a,b,c},那么謂詞公式消去量詞后的等值式為.A.(A(a)A(b)A(c))(B(a)B(b)B(c))B.(A(a)A(b)A(c))(B(a)B(b)B(c))C.(A(a)A(b)A(c))(B(a)B(b)B(c))D.(A(a)A(b)A(c))(B(a)B(b)B(c))答A16.命題公式的主合取范式是().A.B.C.D.答C17.下列等價公式成立的為().A.PPQQB.QPPQC.PQPQD.PPQ解A.PP0QQB.QPP(Q)PQPQC.PQPQD.PP1Q18.命題公式為().A.矛盾式B.可滿足式C.重言式D.合取范式解是可滿足式.答B(yǎng)19.謂詞公式xA(x)xA(x)是().A.不可滿足的B.可滿足的C.有效的D.蘊含式答A20.前提條件的有效結(jié)論是().A.PB.PC.QD.Q答D(假言推理)二、填空題1.命題公式的真值是.解答1或T問:命題公式、的真值是什么?2.設(shè)P:他生病了,Q:他出差了,R:我批準(zhǔn)他不參與學(xué)習(xí).則命題“假如他生病或出差了,我就批準(zhǔn)他不參與學(xué)習(xí)”符號化的結(jié)果為.答一般地,當(dāng)語句是由“假如……,那么……”,或“若……,則……”組成,它的符號化用條件聯(lián)結(jié)詞.3.具有三個命題變項P,Q,R的命題公式PQ的主析取范式是.解答4.設(shè)P(x):x是人,Q(x):x去上課,則命題“有人去上課.”為.答5.設(shè)個體域D={a,b},那么謂詞公式消去量詞后的等值式為.答注:假如個體域是D={1,2},D={a,b,c},或謂詞公式變?yōu)閤(A(x)B(x)),怎么做?6.設(shè)個體域D={1,2,3},A(x)為“x小于3”,則謂詞公式(x)A(x)的真值為解(x)A(x)A(1)A(2)A(3)1101答1注:若個體域D={1,2},A(x)為“x小于3”,則謂詞公式(x)A(x)或:設(shè)個體域D={1,2,3},A(x)為“x是奇數(shù)”,則謂詞公式(x)A(x)的真值是什么?7.謂詞命題公式(x)((A(x)B(x))C(y))中的自由變元為.答y問:公式中的約束變元是什么?判斷:謂詞命題公式(x)((A(x)B(x))C(y))中的自由變元為x,是否對的?為什么?8.謂詞命題公式(x)(P(x)→Q(x)R(x,y))中的約束變元為.答x三、公式翻譯題1.請將語句“今天是天晴”翻譯成命題公式.解設(shè)P:今天是天晴.則命題公式為:P.問:“今天不是天晴”的命題公式是什么?2.請將語句“小王去旅游,小李也去旅游.”翻譯成命題公式.解設(shè)P:小王去旅游,Q:小李去旅游.則命題公式為:PQ.注:語句中包含“也”、“且”、“但”等連接詞,命題公式要用合取“”.3.請將語句“假如明天天下雪,那么我就去滑雪”翻譯成命題公式.解設(shè)P:明天天下雪,Q:我去滑雪.則命題公式為:.4.請將語句“他去旅游,僅當(dāng)他有時間”翻譯成命題公式.解設(shè)P:他去旅游,Q:他有時間.則語句表達(dá)為.5.請將語句“有人不去工作”翻譯成謂詞公式.解設(shè)P(x):x是人,Q(x):x去工作.則語句表達(dá)為.6.請將語句“所有人都努力工作.”翻譯成謂詞公式.解設(shè)P(x):x是人,Q(x):x努力工作.則語句表達(dá)為.注意:命題公式的翻譯還要注意“不可兼或”的表達(dá).例如,教材第164頁的例6“T2次列車5點或6點鐘開.”怎么翻譯成命題公式?這里的“或”為不可兼或.四、判斷說明題(判斷下列各題,并說明理由.)1.命題公式的真值是1.解錯誤.是永假式(教材167頁的否認(rèn)律).2.命題公式P(PQ)P為永真式.解對的.(否認(rèn)律)或由真值表PQPQPQP(PQ)P(PQ)P0011111011011110011011100001可知,該命題公式為永真式.注:假如題目改為該命題公式為永假式,如何判斷并說明理由?3.謂詞公式是永真式.解對的.4.下面的推理是否對的,請給予說明.(1)(x)A(x)B(x)前提引入(2)A(y)B(y)US(1)解錯由于A(x)中的x是約束變元,而B(x)中的x是自由變元,約束變元與自由變元不能混淆.應(yīng)為:(1)(x)A(x)B(x)前提引入(2)(u)A(u)B(x)T(1)換名規(guī)則(3)(u)(A(u)B(x))T(2)量詞轄域擴(kuò)張(4)A(y)B(x)ES(3)五、計算題1.求PQR的析取范式、合取范式、主析取范式、主合取范式.解PQRPQR(析取范式、合取范式、主合取范式)(P(QQ)(RR))((PP)Q(RR))((PP)(QQ)R)(補齊命題變項)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(對的分派律)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)解二(運用主析取范式與主合取范式的關(guān)系)PQRPQR(析取范式、合取范式、主合取范式)M100m000m001m010m011m101(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)2.求命題公式(PQ)(RQ)的主析取范式、主合取范式.解(析取范式)(對的分派律)(主合取范式)(同上題)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)(根據(jù)上題)解二(運用命題公式的真值表)列出命題公式(PQ)(RQ)的真值表如下:PQRPQRQ(PQ)(RQ)小項大項000001PQR001011PQR010111PQR011111PQR100100PQR101111PQR110111PQR111111PQR表中所有小項的析取就是公式的主析取范式,所有大項的合取就是公式的主合取范式,故所求公式的主析取范式為:(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR),主合取范式為:PQR.注:假如題目只是求“析取范式”或“合取范式”,大家就不必再進(jìn)一步求“主析取范式”或“主合取范式”.例如:求(PQ)R[或(PQ)(RQ),PQR]的合取范式、析取范式.解(析取范式)(合取范式)(析取范式)(合取范式)(析取范式)(合取范式)3.設(shè)謂詞公式.(1)試寫出量詞的轄域;(2)指出該公式的自由變元和約束變元.解(1)量詞的轄域為,的轄域為,的轄域為.(2)自由變元為中的y,中的z.約束變元為中的x,中的z,中的y.4.設(shè)個體域為D={a1,a2},求謂詞公式y(tǒng)xP(x,y)消去量詞后的等值式.解六、證明題1.試證明(P(QR))PQ與(PQ)等價.證明(蘊含等價)(結(jié)合律)(吸取律)(德·摩根律)2.試證明(x)(P(x)R(x))(x)P(x)(x)R(x).證明(1)(x)(P(x)R(x))P(2)P(a)R(a)ES(
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 人教部編版道德與法治八年級下冊:8.1 《公平正義的價值》聽課評課記錄1
- 特許經(jīng)營備案合同(2篇)
- 生產(chǎn)線承包合同(2篇)
- 環(huán)保材料采購合同(2篇)
- 2022年新課標(biāo)八年級上冊歷史第18課從九一八事變到西安事變聽課評課記錄
- 一年級古詩畫聽評課記錄
- 八年級下冊聽評課記錄
- 一年級下冊數(shù)學(xué)聽評課記錄《數(shù)花生》3 北師大版
- 冀教版數(shù)學(xué)九年級上冊28.3《圓心角和圓周角》聽評課記錄
- 人教版地理七年級下冊第七章《我們鄰近的國家和地區(qū)》復(fù)習(xí)聽課評課記錄
- 2025版茅臺酒出口業(yè)務(wù)代理及銷售合同模板4篇
- 2025年N1叉車司機(jī)考試試題(附答案)
- 2025年人教版數(shù)學(xué)五年級下冊教學(xué)計劃(含進(jìn)度表)
- 《醫(yī)院財務(wù)分析報告》課件
- 北師大版七年級上冊數(shù)學(xué)期末考試試題及答案
- 初中信息技術(shù)課堂中的項目式學(xué)習(xí)實踐研究結(jié)題報告
- 2024安全事故案例
- 2024年考研政治試題及答案
- 2025年初級社會工作者綜合能力全國考試題庫(含答案)
- 復(fù)工復(fù)產(chǎn)安全培訓(xùn)考試題
- 產(chǎn)品報價單(5篇)
評論
0/150
提交評論