版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、離散數(shù)學之數(shù)理邏輯(習題課)上海交通大學軟件學院吳剛2009年春內容n內容復習n習題講解n復習作業(yè)內容復習n數(shù)理邏輯:用數(shù)學方法研究形式邏輯中推理(演繹)規(guī)律的一門學科n特制的符號語言體系n公理化與形式化方法內容復習n命題邏輯n命題的概念與判斷n命題聯(lián)結詞n真值表內容復習n命題的公式化n準確判斷原子命題;n析取和異或的關系;n指派n成真指派、成假指派n重言式、矛盾、可滿足公式內容復習n等價重言式(等式)n含義n基本等式n對偶定理n蘊涵重言式n含義n基本蘊涵重言式內容復習n等式證明與蘊涵重言式證明n利用基本等式/基本蘊涵重言式n真值表n范式n命題邏輯推理n“前提1,前提2,前提n 結論”有效的充
2、要條件是命題公式“(前提1 前提2 前提n) 結論”是重言式n推理規(guī)則內容復習n范式n析取范式n合取范式n特異析取范式n特異合取范式n矛盾/重言式與范式的關系n最小項與最大項n與指派的對應關系內容復習n聯(lián)結詞化歸n聯(lián)結詞的完全集內容復習n謂詞邏輯n謂詞與個體n量詞n個體域的表達與量詞約束n函數(shù):個體之間的關系內容復習n謂詞邏輯n公式構成n項n原子公式n公式n量詞的轄域、自由變元與約束變元n改名規(guī)則內容復習n謂詞邏輯n命題的謂詞邏輯公式化n謂詞邏輯公式的解釋n個體變元、個體常量、n元函數(shù)f、謂詞Fn解釋給定后,若無自由變元則公式真值確定n解釋給定后,若有自由變元,則賦值后公式真值確定n謂詞邏輯公
3、式的永真、永假、可滿足內容復習n謂詞邏輯n等價永真公式(含義同命題邏輯永真公式)n蘊涵永真公式(含義同命題邏輯永真公式)n基本等價永真公式和蘊涵永真公式n但謂詞邏輯永真公式不易證明n利用基本公式n范式內容復習n謂詞邏輯n前束范式n斯柯林范式n一個謂詞公式的永真/永假性和可滿足性與其斯柯林范式相同,但一般并不等價數(shù)理邏輯公理化n形式化公理系統(tǒng)的組成n語法部分n基本符號n公式的構成規(guī)則n推理部分n公理n推理規(guī)則n推理方法n定理形式化公理系統(tǒng)的性質n系統(tǒng)的一致性(不矛盾性)、完備性、獨立性n相對完備性、絕對完備性n并不追求獨立性命題邏輯公理系統(tǒng)(N系統(tǒng))n命題邏輯永真公式的公理系統(tǒng)n語法部分n基本符號:原子命題、聯(lián)結詞、括弧n公式構成:n := P | ( ) | ( ) | ( ) |( ) | ( ), 其中P代表原子命題,、是公式命題邏輯公理系統(tǒng)n推理部分n公理(P.212共15條,并不獨立)n規(guī)則nPQ, P Q 分離規(guī)則n證明方法n給出一個公式序列:P1,P2,PnnPn是證明出來的定理nPi(i=1,2,n)要么是公理,要么由Pj、Pk經(jīng)過規(guī)則生成(j,k0或=0習題講解n11.2n第2題麻煩點n11.3n注意改名n11.4n注意存在量詞的處理習題講解n12.1n簡單n12.2n注意額外變元n第
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 保潔員考試答案
- 2024年醋酸正丙酯市場分析:醋酸正丙酯亞太地區(qū)市場份額約為66%
- 4s店工作總結匯報
- 2024-2025學年初中信息技術(信息科技)七年級上冊桂科版(2008)教學設計合集
- 120字日記大全60篇
- 大學語文(第五版)課件 第七講 古代辭賦;第八講 古代散文;第九講 古代戲曲
- 工業(yè)機器人智能化升級路徑與實施方案
- 小學科技創(chuàng)新設計大賽題
- 中國的飲食文化和傳統(tǒng)菜肴
- 你喜歡的蔬菜有哪些
- 婚內債務一方免責協(xié)議(2024版)
- 顧客工程滿意度調查表(模板)
- 建筑學外文翻譯
- 人音版 九年級上冊音樂 第三單元 瑤族舞曲 教案教案1000字
- 泰坦尼克號視聽分析影評
- 腫瘤患者營養(yǎng)管理
- 《陸上風力發(fā)電機組混凝土塔架生產(chǎn)技術規(guī)程》
- 4M變更管理試卷
- 中學2024-2025學年度學校年度工作計劃
- 公需科2024廣東公需課《新質生產(chǎn)力與高質量發(fā)展》試題(含答案)繼續(xù)教育
- 消防控制室共用協(xié)議書
評論
0/150
提交評論