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

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

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

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

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

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

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

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

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

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

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

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