版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
命題邏輯應(yīng)用及習(xí)題課命題邏輯應(yīng)用1第1章命題邏輯推理證明(形式證明)下列各式:(1)A→(B→C),DA,B→D→C(2)A∨B,C→B→A→℃(3)(A→B)∧(C→D),B→E,D→F,(E∧F),A→C→A(4)S→Q,R→Q,呎R→-(R→S(5)(A→B)A(A→>C),B∧C),DVA→D(6)A→>B,D>C,DVA→BVC第1章命題邏輯2第1章命題邏輯形式證明(推理)下列論述:1.如果今天是星期四,那么有一次離散數(shù)學(xué)測驗或大學(xué)英語測驗。如果大學(xué)英語老師生病,那么沒有大學(xué)英語測驗。今天是星期四并且大學(xué)英語老師生病,所以,我們有一次離散數(shù)學(xué)測驗。2.由紅、黃、藍、白四隊進行橋牌對抗賽。如果紅隊第三,則當(dāng)黃隊第二時,藍隊第四;或者白隊不是第一,或者紅隊第三;事實上,黃隊第二。因此,如果白隊第一,那么藍隊第四。第1章命題邏輯3第1章命題邏輯3.李明或王平參加這場排球賽,那么紅隊一定贏這場球賽,如果紅隊贏了這場球賽,紅隊將參加全校冠亞軍決賽。但紅隊未能進入全校決賽,故此李明或王平?jīng)]有參加這場排球賽。如果乙不參加籃球賽,那么甲就不參加;如果乙參加籃球賽,那么甲和丙就參加;因此,如果甲參加球賽,那么丙就參加如果李敏來華工,若王軍不生病,則王軍一定去看李敏。如果李敏出差廣州,則李敏一定來華工。王軍沒有生病,所以,如果李敏出差廣州,王軍一定去看望李敏。第1章命題邏輯4第1章命題邏輯第1章命題邏輯5第1章命題邏輯命題邏輯在刑偵推理的應(yīng)用例1在一起兇殺案中,偵査人員了解到以下一些情況:(1)兇手是甲或乙或丙;(2)只有是盜竊殺人案,甲才是兇手(3)如果是盜竊殺人案,那么被害人的財物會丟失(4)如果乙是兇手,那么案件發(fā)生在中午12點以后、有丟失(5)案件發(fā)生在中午12點以前,并且被害人的財物沒問:誰是兇手?解簡單命題用符號表示如下:前提:PVQVR,P:甲是兇手Q:乙是兇手R:丙是兇手S:本案是盜竊殺人案soTUU:案件發(fā)生在中午1點以后>∧T:被害人的財物丟失第1章命題邏輯6第1章命題邏輯前提:PVQVR,P→S,S→T,QU,-U∧_T推理如下:(1)=U∧-TP前提引入(2)-UT(I)I化簡(3)Q→UP前提引入(4)-QT(2)(3)Ⅰ拒取(5)TT(1)I化簡(6)S→T前提引入T(5)(6Ⅰ拒取(8)P→S前提引入9T(7)8)I假言推理10)-P∧_QT(4)(9)合取引入(11)-PVQT(10E置換(12)P∨Q∨R前提引入(13)RT(11)(12)I析取三段論結(jié)論是R,即丙是兇手第1章命題邏輯7第1章命題邏輯例2]在一起兇殺案中,公安人員掌握了如下情況:(1)甲或乙是兇手(2)如果甲是兇手,那么作案地點不在辦公室;(3)如果丙的證詞真實,則辦公室里有槍聲(4)只有作案地點在辦公室,丙的證詞才不真實。公安人員因此得出:如果辦公室里無槍聲,那么兇手是乙不是甲。問:此推理是否有效?解:簡單命題用符號表示如下P:甲是兇手前提:Q:乙是兇手R:作案地點在辦公室PVQP→-R→TS→R,丙證詞真實結(jié)論:T→-P∧QT:辦公室里有槍聲>>>第1章命題邏輯8第1章命題邏輯前提:S→T,S一R,P→R,P∨Q結(jié)論:-T→-P∧Q判定如下(1)-T附加前提引入(2)S→T前提引入(1)(2)拒取(4)SR前提引入(5)R(3)(4)假言推理(6)P→R前提引入(7)-P(5(6)拒取(8)PVO前提引入(9)Q7)(8析取三段論(10)-P∧Q(7)9)合取引入(11)T→P∧Q(5)(10)CP規(guī)則>>這表明,公安人員的推理有效。第1章命題邏輯9第1章命題邏輯例3某偵査員掌握了以下情況:(1)如果A是兇手,則B或C不可能都不是兇手;(2)如果D不是兇手,則B也不可能是兇手(3)或者C不是兇手,或者D是兇手;(4)只有A是兇手,E才是兇手(5)E是兇手。問:由這些情況,可推出什么結(jié)論?解:簡單命題用符合表示如下:p:A是兇手q:B是兇手r:C是兇手S:D是兇手t:E是兇手≥第1章命題邏輯10命題邏輯的應(yīng)用課件11命題邏輯的應(yīng)用課件12命題邏輯的應(yīng)
溫馨提示
- 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)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 物品投放協(xié)議合同范例
- 電力維修協(xié)議合同范例
- 補漏工程合同范例
- 合唱排練勞務(wù)合同范例
- 建筑模型沙盤課程設(shè)計
- 國際fidic合同范例
- 小班幼兒輔食課程設(shè)計
- 廣工換熱器課程設(shè)計
- 幼兒園滾輪胎課程設(shè)計
- 招待所消防課程設(shè)計
- 中原石化乙烯壓力儲罐的設(shè)計
- 中國能源建設(shè)集團有限公司招聘筆試真題2023
- 《Unit-10-If-you-go-to-the-party-you'll-have-a-great-time》教學(xué)設(shè)計-(5課時)
- 2024年《書籍裝幀設(shè)計》教案
- 浙江省衢州市錦繡育才教育集團2023-2024學(xué)年七年級上學(xué)期期末考試科學(xué)試卷
- 常見的金屬材料課件
- 云上:再見啦!母親大人
- 游戲客服處理技巧培訓(xùn)課件
- 生態(tài)文明教育視域下的語文教材選文研究以義務(wù)教育統(tǒng)編語文教材為例
- 創(chuàng)業(yè)計劃書大學(xué)生攝影工作室
- 人工智能倫理導(dǎo)論- 課件 3-人工智能倫理
評論
0/150
提交評論