邏輯學期末知識點整理_第1頁
邏輯學期末知識點整理_第2頁
邏輯學期末知識點整理_第3頁
邏輯學期末知識點整理_第4頁
邏輯學期末知識點整理_第5頁
已閱讀5頁,還剩7頁未讀 繼續(xù)免費閱讀

下載本文檔

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

文檔簡介

1、第一章引論思維形式:抽象思維的一般形式,簡稱思維形式,指的是思維反映對象及其屬性的一般方式,亦即思維內(nèi)容賴以存在和表達的一般形式。一般來說,各種思維形式都是由邏輯常項和邏輯變項兩個部分構(gòu)成的。邏輯常項:思維形式由邏輯常項和邏輯變項兩個部分構(gòu)成。其中有確切含義且其含義始終保持不變的部分就是邏輯常項。邏輯常項對思維形式具有決定作用。(例:所有S是P。“所有一是”為邏輯常項,S、P為邏輯變項)第二章思維形式概念的種類:1 .普遍概念、單獨概念和空概念:概念的外延中包含不止一個分子為普遍概念。(例:白馬、科學家、自然數(shù));概念的外延中只包含一個分子為單獨概念(例:地球、珠穆朗瑪峰);概念的外延中不包含

2、分子為空概念。(例:金山、永動機)2 .實體概念和屬性概念:概念反映的對象是實體為實體概念。(例:大學生、計算機)概念所反映的對象是屬性為屬性概念。(例:勇敢、善良)3 .正概念和負概念:概念以具有某種屬性為本質(zhì)屬性為正概念(例:有機物);概念以不具有某種屬性為本質(zhì)屬性為負概念(例:無機物)。正負概念具有矛盾關(guān)系,負概念是相對正概念而言的。一對正負概念的外延之和構(gòu)成論域。4 .集合概念和非集合概念:概念所反映的對象是一個集合體,稱為集合概念,即不必每個個體所具有。(例:武漢人火氣大);概念所反映的對象是一個類,稱為非集合概念,即每個個體所具有。(例:武漢人住在長江邊)概念間的外延關(guān)系:概念間的

3、外延關(guān)系相容關(guān)系不相容關(guān)系(全異)不滿域關(guān)系滿域關(guān)系不滿域關(guān)系滿域關(guān)系調(diào)和關(guān)系下反對關(guān)系(A+B=U,A,B交叉)反對關(guān)系(A+BSAP獨SAP=SIPSOP關(guān)系推理1、自返關(guān)系推理(例:概念間的全同關(guān)系是一個自返關(guān)系)2、反自返關(guān)系推理(例:數(shù)值間的“大于”是一個反自返關(guān)系,因此,876543不大于876543)3、對稱關(guān)系推理(例:張三是李四的朋友,所以,李四是張三的朋友)4、反對稱關(guān)系推理(例:老張是小張的爸爸,所以,小張一定不是老張的爸爸)5、傳遞關(guān)系推理(例:8大于5,5大于3,所以,8大于3)6、反傳遞關(guān)系推理(例:王慧是張靜的母親,張靜是丁嵐的母親,所以,王慧一定不是丁嵐的母親)

4、第八、十章復合判斷及其推理七種基本復合判斷的符號化、真值表1、聯(lián)言判斷:P并且q(p?q),叫做一個合取式。當且僅當客觀上p、q都為真時,p并且q為真,反之都為假。2、相容選言判斷:或者p,或者q(pVq),叫做一個析取式。P、q只要有一個為真,則整體為真,只有p、q都為假時整體為假。3、不相容選言判斷:要么p,要么q(pVq),叫做嚴格析取式。當且僅當客觀上p、q有且只有一個為真時,整體為真,反之都為假,即同真同假時為假反之為真。4、充分條件假言判斷:如果p,那么q(p-q),叫做一個蘊涵式。當且僅當p真q假時,整體為假,即推不出,反之都為真。5、必要條件假言判斷:只有p,才q(p-q),叫

5、做一個逆蘊涵式。當且僅當p假q真的時候,整體為假,反之都為真。6、充分必要條件假言判斷:當且僅當p,才q(p?q),叫做一個雙蘊涵式。當且僅當p、q同真或同假時,整體為真,反之則為假。7、負判斷:并非p(?p),叫做一個否定式。當且僅當p為假,整體為真,反之為假。多重復合判斷的符號化、邏輯含義七種基本復合判斷推理1、聯(lián)言推理:分解式組合式一個聯(lián)言判斷為真,推出某個聯(lián)言支為真各個聯(lián)言支為真,推出聯(lián)言判斷為真p?q推出p或p?q推出q(p,q)推出p?q例:小王既有優(yōu)點,也有缺點,所以,小王是有優(yōu)點的例:小李是武漢人,小王是武漢人,所以,小李和小王是武漢人2、相容選言推理:規(guī)則:(1)否定一部分選

6、言支,可以肯定另一部分選言支;(2)肯定一部分選言支,不能推斷另一部分選言支。根據(jù)規(guī)則,只有否定肯定式有效。橫式:(pVq)?p推出q或(pVq)?q推出p(例:液體沸騰的原因或者是溫度升高,或者是壓力減小。既然鍋里的水溫并沒有升高,那么其沸騰的原因一定是壓力減少)3、不相容選言推理:規(guī)則:(1)否定一部分選言支,可以肯定另一部分選言支;(2)肯定一部分選言支,可以否定另一部分選言支。根據(jù)規(guī)則,否定肯定式和肯定否定式都是有效的。4、充分條件假言推理:規(guī)則:(1)肯定前件,就可以肯定后件;(2)否定后件,就可以否定前件;(3)否定前件,不能推知后件;(4)肯定后件,不能推知前件。根據(jù)規(guī)則,肯定前

7、件式和否定后件式有效。(p-q)?p推出q例:如果光對它照射到的物體能產(chǎn)生壓力,那么光就有質(zhì)量。實驗證明,光對它照射到的物體能產(chǎn)生壓力,所以,光是有質(zhì)量的。否定后件式(p-q)?q推出p例:如果停電,機器就會停止運轉(zhuǎn)。現(xiàn)在機器運轉(zhuǎn)正常,可見沒有停電。5、必要條件假言推理:規(guī)則:(1)否定前件,就可以否定后件;(2)肯定后件,就可以肯定前件;(3)肯定前件,不能推知后件;(4)否定后件,不能推知前件。根據(jù)規(guī)則,否定前件式和肯定后件式有效。否定前件式(p-q)?p推出q例:只有水量合適,小麥才長得好。這塊地的水量不合適,所以,這塊地的小麥長不好。肯定后件式(p-q)?q推出p例:只有年滿十八歲,才有公民選舉權(quán)。小李有選舉權(quán),所以,小李一定年滿十八歲。6、充分必要條件假言推理規(guī)則:(1)肯定前件,就可以肯定后件;(2)否定前件,就可以否定后

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論