普通邏輯學(xué)第五講復(fù)合命題及其推理_第1頁
普通邏輯學(xué)第五講復(fù)合命題及其推理_第2頁
普通邏輯學(xué)第五講復(fù)合命題及其推理_第3頁
普通邏輯學(xué)第五講復(fù)合命題及其推理_第4頁
普通邏輯學(xué)第五講復(fù)合命題及其推理_第5頁
已閱讀5頁，還剩19頁未讀， 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

3、假言聯(lián)言推理 假言聯(lián)言推理：是由兩個(gè)充分條件假言命題和一個(gè)聯(lián)言命 題作前提，推出另一個(gè)聯(lián)言命題為結(jié)論的推理形式。 3.1肯定式：在前提的聯(lián)言命題中肯定前提中兩個(gè)充分條件 假言命題的前件，在結(jié)論中肯定假言命題的兩個(gè)后件。 推理形式： 如果p，那么q； 如果r，那么s； p并且r； 所以，q并且s。 記為： (p q (r s ( p r (q s . 3、假言聯(lián)言推理 3.2否定式：在前提的聯(lián)言命題中否定前提中兩個(gè)充分條件 假言命題的后件，從而在結(jié)論中否定其前件的推理式。 推理形式： 如果p，那么q； 如果r，那么s； 非q并且非s； 所以，非p并且非r。 記為： (p q (r s (q s (p r. 4、反三段論 反三段論：這種推理的前提和結(jié)論都是假言型多重復(fù)合命 題。 它通常反映：某幾種事物情況（條件）共同構(gòu)成了另一個(gè) 事物情況的充分條件，那么，當(dāng)這一事物情況不出現(xiàn)時(shí)， 就可以推出這幾個(gè)條件中至少有一個(gè)不具備。 推理形式是：如果p并且q，那么r，所以，如果如果p并且 非r，那么非q。 (p q r (p r ( s. 5、歸謬推理 歸謬推理：一種使用歸謬法進(jìn)行推理的推理形式。 歸謬法是指表明從一個(gè)命題可以推出一個(gè)矛盾的結(jié)論，從 而表明該命題為假。 基本推理形式： 如果p，那么q； 如果p，那么非q； 所以，非p。 符號(hào)化為：(p q (p q p.

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(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ì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論