版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、石材加工紅提采摘金剛石磨頭0第一章第一章命題邏輯命題邏輯內(nèi)容:內(nèi)容:命題及命題聯(lián)結(jié)詞、命題公式的基本概念,真值表、基本等價(jià)式及永真蘊(yùn)涵式,命題演算的推理理論中常用的直接證明、條件證明、反證法等證明方法。教學(xué)目的:教學(xué)目的:1熟練掌握命題、聯(lián)結(jié)詞、復(fù)合命題、命題公式及其解釋的概念。2熟練掌握常用的基本等價(jià)式及其應(yīng)用。3熟練掌握(主)析合取范式的求法及其應(yīng)用。4熟練掌握常用的永真蘊(yùn)涵式及其在邏輯推理中的應(yīng)用。5熟練掌握形式演繹的方法。教學(xué)重
2、點(diǎn):教學(xué)重點(diǎn):1命題的概念及判斷2聯(lián)結(jié)詞,命題的翻譯3主析(合)取范式的求法4邏輯推理教學(xué)難點(diǎn):教學(xué)難點(diǎn):1主析(合)取范式的求法2邏輯推理1.11.1命題及其表示法命題及其表示法1.1.11.1.1命題的概念命題的概念數(shù)理邏輯將能夠判斷真假的陳述句稱(chēng)作命題。1.1.21.1.2命題的表示命題的表示命題通常使用大寫(xiě)字母A,B,…,Z或帶下標(biāo)的大寫(xiě)字母或數(shù)字表示,如Ai,[10],R等,例如A1:我是一名大學(xué)生。A1:我是一名大學(xué)生.[1
3、0]:我是一名大學(xué)生。R:我是一名大學(xué)生。1.21.2命題聯(lián)結(jié)詞命題聯(lián)結(jié)詞1.2.11.2.1否定聯(lián)結(jié)詞﹁否定聯(lián)結(jié)詞﹁PPP?01101.2.21.2.2合取聯(lián)結(jié)詞合取聯(lián)結(jié)詞∧PQQP?0000101001111.2.31.2.3析取聯(lián)結(jié)詞∨析取聯(lián)結(jié)詞∨石材加工紅提采摘金剛石磨頭21.3.11.3.1命題公式命題公式定義定義命題公式,簡(jiǎn)稱(chēng)公式,定義為:(1)單個(gè)命題變?cè)枪剑唬?)如果P是公式,則﹁P是公式;(3)如果P、Q是公式,則
4、P∧Q、P∨Q、PQ、P?Q都是公式;(4)當(dāng)且僅當(dāng)能夠有限次的應(yīng)用(1)、(2)、(3)所得到的包括?命題變?cè)?、?lián)結(jié)詞和括號(hào)的符號(hào)串是公式。例如,下面的符號(hào)串都是公式:((((﹁P)∧Q)R)∨S)?((P﹁Q)(﹁R∧S))(﹁P∨Q)∧R??以下符號(hào)串都不是公式:((P∨Q)(∧Q))(∧Q)?1.3.21.3.2命題的翻譯命題的翻譯可以把自然語(yǔ)言中的有些語(yǔ)句,轉(zhuǎn)變成數(shù)理邏輯中的符號(hào)形式,稱(chēng)為命題的翻譯。命題翻譯時(shí)應(yīng)注意下列事項(xiàng):
5、命題翻譯時(shí)應(yīng)注意下列事項(xiàng):(1)確定所給句子是否為命題。(2)句子中聯(lián)結(jié)詞是否為命題聯(lián)結(jié)詞。(3)要正確的選擇原子命題和合適的命題聯(lián)結(jié)詞。例:假如上午不下雨,我去看電影,否則就在家里讀書(shū)或看報(bào)。解:設(shè)P:上午下雨;Q:我去看電影;R:我在家里讀書(shū);S:我在家里看報(bào)。本例可表示為:(PQ)∧()∧(P(R∨S))。???1.3.31.3.3命題公式的解釋定義命題公式的解釋定義設(shè)P1,P2,…,Pn是出現(xiàn)在命題公式G中的全部命題變?cè)付≒
6、1,P2,…,Pn的一組真值,稱(chēng)這組真值為G的一個(gè)解釋或賦值,記作I,公式G在I下的真值記作TI(G)。例如,G=(P∧Q)R,則I:??PQR110是G的一個(gè)解釋?zhuān)谶@個(gè)解釋下G的真值為1,即TI(G)=1。1.41.4真值表與等價(jià)公式真值表與等價(jià)公式1.4.11.4.1真值表真值表定義定義將公式G在其所有解釋下所取得的真值列成一個(gè)表,稱(chēng)為G的真值表。構(gòu)造真值表的方法如下:構(gòu)造真值表的方法如下:(1)找出公式G中的全部命題變?cè)?,并按?/p>
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 離散數(shù)學(xué)a答案
- 離散數(shù)學(xué)答案
- 離散數(shù)學(xué)答案
- 離散數(shù)學(xué)答案(尹寶林版)
- 離散數(shù)學(xué)(版)講義
- 離散數(shù)學(xué)anyview答案
- 離散數(shù)學(xué)答案四
- 離散數(shù)學(xué)答案新版
- 離散數(shù)學(xué)屈婉玲版課后答案
- 離散數(shù)學(xué)習(xí)題答案-
- 離散數(shù)學(xué)作業(yè)3答案
- 離散數(shù)學(xué)課后答案
- 《離散數(shù)學(xué)》試題及答案
- 離散數(shù)學(xué)參考答案
- 離散數(shù)學(xué)習(xí)題答案
- 離散數(shù)學(xué)題庫(kù)答案
- 《離散數(shù)學(xué)》題庫(kù)及答案
- 離散數(shù)學(xué)
- 離散數(shù)學(xué)最全課后答案屈婉玲版
- 離散數(shù)學(xué)及其應(yīng)用(第6版)課后答案
評(píng)論
0/150
提交評(píng)論