




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、假言命題推理,假言推理分兩類: 混合假言題和純粹假言推理。,混合假言推理 1、充分條件假言推理及其有效式 充分條件假言推理規(guī)則:肯定前件就要肯定后件,否定后件就要否定前件;否定前件不能否定后件,肯定后件不能肯定前件。,如: 如果天下雨,地就會(huì)濕。,肯定前件就要肯定后件 如果天下雨,地就會(huì)濕 天下雨了, 所以,地濕了。,否定后件就要否定前件 如果天下雨,地就會(huì)濕。 地沒(méi)有濕, 所以,天沒(méi)有下雨。,否定前件不能否定后件 如果天下雨,地就會(huì)濕。 天沒(méi)有下雨 所以,地沒(méi)有濕。(結(jié)論錯(cuò)誤),肯定后件不能肯定前件 如果天下雨,地就會(huì)濕 地濕了 所以,天下雨了。,充分條件假言推理的有效式 1、肯定前件式 如
2、果p,則q P 所以q (p q) p q,練習(xí): 如果電燈亮了,就不會(huì)斷路。 用肯定前件式推理,2、否定后件式 如果p,則q 非q 所以,非p (p q) q p,練習(xí): 如果電燈亮了,就不會(huì)斷路。 用肯定前件式推理,必要條件假言推理 其規(guī)則有二:否定前件就要否定后件,肯定后件就要肯定前件;肯定前件不能肯定后件,否定后件不能否定前件。,如:只有身體好,才能登上三清山。 否定前件就要否定后件 劉穎身體不好。 所以,劉穎不能登上三清山。,肯定后件就要肯定前件 只有身體好,才能登上三清山 劉穎登上了三清山, 所以,劉穎身體好。,必要條件假言推理的有效式 否定前件式 只有p,才q 非p 所以,非q
3、(p q) p q,肯定后件式 只有p,才q 非q 所以,非p (p q) q p,練習(xí): 只有調(diào)查研究,才有發(fā)言權(quán)。,充要條件假言推理 其規(guī)則有二:肯定前件就要肯定后件,肯定后件就要肯定前件;否定前件就要否定后件,否定后件就要否定前件。,如:當(dāng)且僅當(dāng)能被2整除的數(shù),則是偶數(shù)。 肯定前件就要肯定后件 8是被2整除的數(shù), 所以,8是偶數(shù)。,肯定后件就要肯定前件 當(dāng)且僅當(dāng)能被2整除的數(shù),則是偶數(shù)。 8是偶數(shù), 所以,8是被2整除的數(shù)。,否定前件就要否定后件 當(dāng)且僅當(dāng)能被2整除的數(shù),則是偶數(shù)。 7不能被2整除, 所以,7不是偶數(shù)。,否定后件就要否定前件 當(dāng)且僅當(dāng)能被2整除的數(shù),則是偶數(shù)。 7不是偶數(shù)
4、 所以,7不能被2整除,充要條件假言推理有效式: 肯定前件式 當(dāng)且僅當(dāng)p,則q p 所以,q (p q) p q,肯定后件式 當(dāng)且僅當(dāng)p,則q p 所以,q (p q) q p,否定前件式 當(dāng)且僅當(dāng)p,則q 非 p 所以,非q (p q) p q,否定后件式 當(dāng)且僅當(dāng)p,則q 非q 所以,非p (p q) q p,純假言推理 1、假言易位推理 (1)充分條件假言易位推理 其有效式: 如果p,則q 所以,非q,則非p. (p q) ( q p),如: 如果要辦企業(yè),就要有資金 所以,如果沒(méi)有資金,就不能辦企業(yè)。 練習(xí):如果火車要跑到臺(tái)北,就要有地鐵。,2、必要條件假言易位推理 (1)充分條件假言
5、易位推理 其有效式: 只有p,才q 所以,如果q,則 p。 (p q) ( q p),如: 只有實(shí)事求是,才能避免主觀片面性, 所以,如果要避免主觀片面性,就要實(shí)事求是。 練習(xí):只有練好“五會(huì)”,才能適應(yīng)未來(lái)的教學(xué)工作。,3、充要條件假言易位推理 (1)充要條件假言易位推理 其有效式: 當(dāng)且僅當(dāng)p,則q;所以,當(dāng)且僅當(dāng)q,則p. 所以,如果q,則 p。 (p q) (q p),如: 當(dāng)且僅當(dāng)一個(gè)三角形是等邊三角形,則它是等角三角形; 當(dāng)且僅當(dāng)一個(gè)三角形是等角三角形,則它是等邊三角形。 練習(xí): 當(dāng)且僅當(dāng)四邊是平行四邊形,它的兩組對(duì)邊分別平行 ;,假言聯(lián)鎖推理: 充分條件假言聯(lián)鎖推理 必要條件假言聯(lián)鎖推理 混合條件假言聯(lián)鎖推理,充分條件假言聯(lián)鎖推理 肯定式: 如果p,則q 如果q,則r 所以,如果p,則s。 (p q) (q r) ( p s ),如: 如果發(fā)燒,就會(huì)使代謝機(jī)能受到干擾, 如果代謝機(jī)能受到干擾,就會(huì)破壞肌體, 所以,如果發(fā)燒,就會(huì)破壞肌體。,充分條件假言聯(lián)鎖推理 否定式: 如果p,則q; 如果q,則r 所以,如果非p,則非s。 (p q) (q r) (
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 商業(yè)地產(chǎn)招商運(yùn)營(yíng)工作培訓(xùn)資料
- 2025年山東省聊城文軒中學(xué)第二學(xué)期教學(xué)質(zhì)量檢測(cè)試題高三化學(xué)試題(二模)含解析
- 青海衛(wèi)生職業(yè)技術(shù)學(xué)院《三筆字訓(xùn)練(一)》2023-2024學(xué)年第二學(xué)期期末試卷
- 臺(tái)州職業(yè)技術(shù)學(xué)院《外科學(xué)各論》2023-2024學(xué)年第二學(xué)期期末試卷
- 上海商業(yè)會(huì)計(jì)學(xué)校工作人員招聘真題2024
- 課題開(kāi)題報(bào)告:實(shí)驗(yàn)創(chuàng)新在新教材中的應(yīng)用與實(shí)踐研究
- 課題開(kāi)題報(bào)告:社會(huì)主義核心價(jià)值觀融入體育與健康學(xué)科的研究
- 天津中醫(yī)藥大學(xué)《平法識(shí)圖與鋼筋算量》2023-2024學(xué)年第一學(xué)期期末試卷
- 人教版《歷史與社會(huì)》九上第一單元第三課《悄然轉(zhuǎn)變中的社會(huì)生活》教學(xué)設(shè)計(jì)
- 2025年進(jìn)排氣歧管項(xiàng)目建設(shè)總綱及方案
- 電子商務(wù)專升本考試(習(xí)題卷6)
- 【鹽津鋪?zhàn)庸境杀竟芾憩F(xiàn)狀、問(wèn)題及對(duì)策】10000字
- 雪佛蘭創(chuàng)酷說(shuō)明書
- 安全生產(chǎn)費(fèi)用歸集清單(安措費(fèi)清單)
- 中小學(xué)生心理健康檔案(表格)電子教案
- 廣東省五年一貫制語(yǔ)文考試題目
- 江蘇省南京市2023屆高三第一學(xué)期期初考試英語(yǔ)試題和答案
- 紅樓春趣劇本新編
- FLUX系統(tǒng)用戶手冊(cè)
- WB/T 1066-2017貨架安裝及驗(yàn)收技術(shù)條件
- GB/T 40806-2021機(jī)床發(fā)射空氣傳播噪聲金屬切削機(jī)床的操作條件
評(píng)論
0/150
提交評(píng)論