《命題(二)ppt2》由會(huì)員分享，可在線閱讀，更多相關(guān)《命題(二)ppt2（29頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、單擊此處編輯母版標(biāo)題樣式,單擊此處編輯母版文本樣式,第二級(jí),第三級(jí),第四級(jí),第五級(jí),*,邏輯學(xué),第四章 命題（二）,智慧之學(xué),邏輯學(xué),第四章 判斷（二）,本章介紹各種復(fù)合判斷。復(fù)合判斷是包含了其它判斷的判斷，它通常是由兩個(gè)以上的簡(jiǎn)單判斷組成。,復(fù)合判斷由兩部分組成：支判斷（被包含的簡(jiǎn)單判斷）和邏輯聯(lián)結(jié)項(xiàng)（聯(lián)結(jié)支判斷的部分，亦稱聯(lián)結(jié)項(xiàng)）。,復(fù)合判斷的真假取決于支判斷的真假，復(fù)合判斷的邏輯性質(zhì)則是由聯(lián)結(jié)項(xiàng)來(lái)決定的,。,智慧之學(xué),邏輯學(xué),第一節(jié) 聯(lián)言判斷,一、什么是聯(lián)言判斷,聯(lián)言判斷是斷定若干種事物情況同時(shí)存在的復(fù)合判斷，亦稱合取判斷。常用并列、遞進(jìn)、轉(zhuǎn)折復(fù)句表達(dá)。,聯(lián)言判斷由兩部分組成：聯(lián)言支（被

2、包含的簡(jiǎn)單判斷，至少是兩個(gè)以上，可用,P,、,q,等表示）和邏輯聯(lián)結(jié)項(xiàng)“并且”等。所以，一個(gè)二支聯(lián)言判斷的邏輯形式為：,P,并且,q,用現(xiàn)代邏輯符號(hào)表示為：,Pq,智慧之學(xué),邏輯學(xué),二、聯(lián)言判斷的真假值,聯(lián)言判斷的真假取決于聯(lián)言支的真假，一個(gè)聯(lián)言判斷只有所有的聯(lián)言支都同時(shí)為真時(shí)，它才是真的；只要有一個(gè)聯(lián)言支假，它便是假的?？捎谜嬷当肀硎緸椋?P q Pq,真 真 真,真 假 假,假 真 假,假 假 假,PqPq,智慧之學(xué),邏輯學(xué),第二節(jié) 選言判斷,一、什么是選言判斷,選言判斷是斷定若干種可能的事物情況中，至少或只能有一種真情況存在的復(fù)合判斷，亦稱析取判斷。常用選擇復(fù)句表達(dá)。,選言判斷由兩部分組

3、成：選言支（被包含的簡(jiǎn)單判斷，至少是兩個(gè)以上，可用,P,、,q,等表示）和邏輯聯(lián)結(jié)項(xiàng)“或者”、“要么”等。,智慧之學(xué),邏輯學(xué),因?yàn)檫x言判斷是斷定對(duì)象若干種可能情況的，而這些可能情況有相容和不相容之分，因而構(gòu)成選言判斷的選言支也有相容和不相容兩種關(guān)系。根據(jù)選言支之間是否相容，選言判斷可分為相容的選言判斷和不相容的選言判斷兩種。,二、相容的選言判斷,（一）什么是相容的選言判斷,相容的選言判斷是斷定諸選言支中至少有一個(gè)選言支為真的選言判斷。所以，一個(gè)相容選言判斷的邏輯形式為：,P,或者,q,智慧之學(xué),邏輯學(xué),用現(xiàn)代邏輯符號(hào)表示為：,Pq,（二）相容選言判斷的真假值,相容選言判斷的真假取決于選言支的真

4、假，一個(gè)相容選言判斷只要有一個(gè)選言支為真，它就是真的；只有所有的選言支都同時(shí)為假時(shí)，它才是假的?？捎谜嬷当肀硎緸椋?P q Pq,真 真 真,真 假 真,假 真 真,假 假 假,智慧之學(xué),邏輯學(xué),PqPq,三、不相容的選言判斷,（一）什么是不相容的選言判斷,不相容的選言判斷是斷定諸選言支中只能有一個(gè)選言支為真的選言判斷。所以，一個(gè)不相容選言判斷的邏輯形式為：,要么,P,要么,q,用現(xiàn)代邏輯符號(hào)表示為：,Pq,智慧之學(xué),邏輯學(xué),（二）不相容選言判斷的真假值,不相容選言判斷的真假取決于選言支的真假，一個(gè)不相容選言判斷有而且只有一個(gè)選言支為真時(shí)，它才是真的；只要所有的選言支都同時(shí)為真或同時(shí)為假時(shí)，它

5、便是假的?？捎谜嬷当肀硎緸椋?P q Pq,真 真 假,真 假 真,假 真 真,假 假 假,Pq,（,Pq,）（,Pq,）,智慧之學(xué),邏輯學(xué),四、正確使用選言判斷應(yīng)注意的問(wèn)題,1,、不能遺漏真的選言支。,2,、不能混淆兩種不同的選言判斷。,3,、選言支一般不能互相重疊、包含，要各自獨(dú)立。,智慧之學(xué),邏輯學(xué),第三節(jié) 假言判斷,一、什么是假言判斷,假言判斷是斷定一事物情況是另一事物情況存在的條件的復(fù)合判斷。因?yàn)榧傺耘袛鄶喽ǖ氖强陀^事物之間的條件關(guān)系，亦稱條件判斷。一般由假設(shè)、條件和緊縮復(fù)句來(lái)表達(dá)。,假言判斷由兩部分組成：兩個(gè)支判斷和假言聯(lián)結(jié)項(xiàng)。在兩個(gè)支判斷中，表示條件的支判斷位置一般在前，稱為前件

6、；另一個(gè)支判斷位置在后，稱為后件。,智慧之學(xué),邏輯學(xué),根據(jù)假言判斷前件與后件之間不同的條件關(guān)系，假言判斷可分為充分條件假言判斷、必要條件假言判斷、充分必要條件假言判斷（簡(jiǎn)稱充要條件假言判斷）三種。,二、充分條件假言判斷,（一）什么是充分條件假言判斷,充分條件假言判斷是斷定前件是后件的充分條件的假言判斷。充分條件的邏輯特征是：“有之必然”，即只要有前件就一定有后件。,智慧之學(xué),邏輯學(xué),充分條件假言判斷的邏輯形式可表示為：,如果,P,，那么,q,用現(xiàn)代邏輯符號(hào)表示為：,Pq,（讀作“蘊(yùn)涵”；“如果，則”義）,（二）充分條件假言判斷的真假值,一個(gè)充分條件假言判斷的真假，取決于前件是不是后件的充分條件

7、。如果前件是后件的充分條件，那么這個(gè)假言判斷就是真的；反之，如果前件不是后件的充分條件，那么這個(gè)假言判斷就是假的。,智慧之學(xué),邏輯學(xué),用真值表表示為：,P q Pq,真 真 真,真 假 假,假 真 真,假 假 真,PqPq,智慧之學(xué),邏輯學(xué),三、必要條件假言判斷,（一）什么是必要條件假言判斷,必要條件假言判斷是斷定前件是后件的必要條件的假言判斷。必要條件的邏輯特征是：“無(wú)之必不然”，即沒(méi)有前件就一沒(méi)有后件。,必要條件假言判斷的邏輯形式可表示為：,只有,P,，才,q,用現(xiàn)代邏輯符號(hào)表示為：,Pq,（讀作“反蘊(yùn)涵”；“只有，才”義）,智慧之學(xué),邏輯學(xué),（,二）必要條件假言判斷的真假值,一個(gè)必要條件

8、假言判斷的真假，取決于前件是不是后件的必要條件。如果前件是后件的必要條件，那么這個(gè)假言判斷就是真的；反之，如果前件不是后件的必要條件，那么這個(gè)假言判斷就是假的。,智慧之學(xué),邏輯學(xué),用真值表表示為：,P q Pq,真 真 真,真 假 真,假 真 假,假 假 真,PqPq,智慧之學(xué),邏輯學(xué),四、充分必要條件假言判斷,（一）什么是充分必要條件假言判斷,充分必要條件假言判斷是斷定前件是后件的充分必要條件的假言判斷。充分必要條件的邏輯特征是：“有之必然”和“無(wú)之必不然”，即有前件就一定有后件，沒(méi)有前件就一沒(méi)有后件。,充分必要條件假言判斷的邏輯形式可表示為：,當(dāng)且僅當(dāng),P,，才,q,智慧之學(xué),邏輯學(xué),用現(xiàn)

9、代邏輯符號(hào)表示為：,Pq,（讀作“蘊(yùn)涵、反蘊(yùn)涵”；“當(dāng)且僅當(dāng)，才”義）,（二）充分必要條件假言判斷的真假值,一個(gè)充分必要條件假言判斷的真假，取決于前件是不是后件的充分必要條件。如果前件是后件的充分必要條件，那么這個(gè)假言判斷就是真的；反之，如果前件不是后件的充分必要條件，那么這個(gè)假言判斷就是假的。,智慧之學(xué),邏輯學(xué),用真值表表示為：,P q Pq,真 真 真,真 假 假,假 真 假,假 假 假,Pq,（,Pq,）（,Pq,）,智慧之學(xué),邏輯學(xué),五、充分條件假言判斷和必要條件假言判斷之間的等值互換,充分條件假言判斷和必要條件假言判斷之間可以作等值互換。其方法為：,（一）加冠變性,Pq Pq,Pq

10、Pq,智慧之學(xué),邏輯學(xué),（二）異位變性,Pq q P,Pq q P,六、關(guān)于正確運(yùn)用假言判斷應(yīng)注意的問(wèn)題,（一）確切把握三種不同條件的假言判斷之間的區(qū)別。,（二）弄清假言判斷的語(yǔ)言表達(dá)形式，準(zhǔn)確地表達(dá)假言判斷。,智慧之學(xué),邏輯學(xué),第四節(jié) 負(fù)判斷,一、什么是負(fù)判斷,負(fù)判斷是否定某個(gè)判斷的復(fù)合判斷。,負(fù)判斷由兩部分組成：支判斷（被否定的原判斷，可以是簡(jiǎn)單判斷，也可以是復(fù)合判斷）和邏輯聯(lián)結(jié)項(xiàng)。,負(fù)判斷的邏輯形式可表示為：,并非,P,智慧之學(xué),邏輯學(xué),用現(xiàn)代邏輯符號(hào)表示為：,P,或,P,（讀作“并非”）,負(fù)判斷有別于直言判斷中的否定判斷。直言判斷中的否定判斷是斷定客觀事物不具有某種性質(zhì)，是一種簡(jiǎn)單判斷

11、；而負(fù)判斷是對(duì)原判斷的否定，是一種復(fù)合判斷。,負(fù)判斷是一種特殊的復(fù)合判斷。首先，它只有一個(gè)支判斷；其次，它的邏輯聯(lián)結(jié)項(xiàng)是一個(gè)表示否定的概念，整個(gè)判斷是對(duì)原判斷的否定，所以，它與原判斷之間是矛盾關(guān)系。,智慧之學(xué),邏輯學(xué),負(fù)判斷的真假可用真值表表示為：,P P,真 假,假 真,二、負(fù)判斷及其等值判斷,任何一個(gè)判斷都可以對(duì)其進(jìn)行否定而得到一個(gè)相應(yīng)的負(fù)判斷。無(wú)論哪一種負(fù)判斷，都能推演出一個(gè)與它等值的判斷。,智慧之學(xué),邏輯學(xué),（一）負(fù)簡(jiǎn)單判斷及其等值判斷,1,、,AO,2,、,EI,3,、,IE,4,、,OA,5,、,ae,6,、,ea,智慧之學(xué),邏輯學(xué),（二）負(fù)復(fù)合判斷及其等值判斷,1,、負(fù)聯(lián)言判斷及其等值判斷,PqPq,2,、負(fù)相容選言判斷及其等值判斷,PqPq,3,、負(fù)不相容選言判斷及其等值判斷,Pq,（,Pq,）（,Pq,）,智慧之學(xué),邏輯學(xué),4,、負(fù)充分條件言判斷及其等值判斷,PqPq,5,、負(fù)必要條件言判斷及其等值判斷,PqPq,6,、負(fù)充分必要條件言判斷及其等值判斷,Pq,（,Pq,）（,Pq,）,思考題：,1,、復(fù)合判斷的邏輯特征。,2,、各種復(fù)合判斷的運(yùn)用。,3,、負(fù)判斷的作用。,智慧之學(xué),邏輯學(xué),