




版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
命題邏輯應用及習題課命題邏輯應用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.如果今天是星期四,那么有一次離散數學測驗或大學英語測驗。如果大學英語老師生病,那么沒有大學英語測驗。今天是星期四并且大學英語老師生病,所以,我們有一次離散數學測驗。2.由紅、黃、藍、白四隊進行橋牌對抗賽。如果紅隊第三,則當黃隊第二時,藍隊第四;或者白隊不是第一,或者紅隊第三;事實上,黃隊第二。因此,如果白隊第一,那么藍隊第四。第1章命題邏輯3第1章命題邏輯3.李明或王平參加這場排球賽,那么紅隊一定贏這場球賽,如果紅隊贏了這場球賽,紅隊將參加全校冠亞軍決賽。但紅隊未能進入全校決賽,故此李明或王平沒有參加這場排球賽。如果乙不參加籃球賽,那么甲就不參加;如果乙參加籃球賽,那么甲和丙就參加;因此,如果甲參加球賽,那么丙就參加如果李敏來華工,若王軍不生病,則王軍一定去看李敏。如果李敏出差廣州,則李敏一定來華工。王軍沒有生病,所以,如果李敏出差廣州,王軍一定去看望李敏。第1章命題邏輯4第1章命題邏輯第1章命題邏輯5第1章命題邏輯命題邏輯在刑偵推理的應用例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析取三段論結論是R,即丙是兇手第1章命題邏輯7第1章命題邏輯例2]在一起兇殺案中,公安人員掌握了如下情況:(1)甲或乙是兇手(2)如果甲是兇手,那么作案地點不在辦公室;(3)如果丙的證詞真實,則辦公室里有槍聲(4)只有作案地點在辦公室,丙的證詞才不真實。公安人員因此得出:如果辦公室里無槍聲,那么兇手是乙不是甲。問:此推理是否有效?解:簡單命題用符號表示如下P:甲是兇手前提:Q:乙是兇手R:作案地點在辦公室PVQP→-R→TS→R,丙證詞真實結論:T→-P∧QT:辦公室里有槍聲>>>第1章命題邏輯8第1章命題邏輯前提:S→T,S一R,P→R,P∨Q結論:-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是兇手。問:由這些情況,可推出什么結論?解:簡單命題用符合表示如下:p:A是兇手q:B是兇手r:C是兇手S:D是兇手t:E是兇手≥第1章命題邏輯10命題邏輯的應用課件11命題邏輯的應用課件12命題邏輯的應
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 河池學院《管理溝通(英語)》2023-2024學年第二學期期末試卷
- 重慶移通學院《紀錄片策劃與傳播》2023-2024學年第二學期期末試卷
- 湖北民族大學《自動化系統(tǒng)概論》2023-2024學年第二學期期末試卷
- 河南建筑職業(yè)技術學院《機械優(yōu)化設計及應用》2023-2024學年第二學期期末試卷
- 南京林業(yè)大學《人工智能概論》2023-2024學年第二學期期末試卷
- 長治學院《二外英語IV》2023-2024學年第二學期期末試卷
- 內蒙古體育職業(yè)學院《漢字文化研究》2023-2024學年第一學期期末試卷
- 河北大學工商學院《大數據與風險管理》2023-2024學年第二學期期末試卷
- 天津國土資源和房屋職業(yè)學院《軟件分析與設計》2023-2024學年第二學期期末試卷
- 湖南郵電職業(yè)技術學院《地方政府管理》2023-2024學年第一學期期末試卷
- 【MOOC】《研究生英語科技論文寫作》(北京科技大學)中國大學MOOC慕課答案
- 幼兒園4000余冊師生圖書配置一覽表
- B類表(施工單位報審、報驗用表)
- 質量監(jiān)督員監(jiān)督報告
- 現場零工簽證單及罰款單簽證樣板完整版
- 醫(yī)療安全不良事件分析記錄表
- 上海市住宅修繕施工資料及表式匯編(試行版27)
- (完整版)APQP(現用版)
- 九宮難易數獨、六宮數獨打印版
- 北京科技大學計算機過程控制
- 學前衛(wèi)生學名詞解釋
評論
0/150
提交評論