邏輯學(xué)7-第七章-直言命題課件

直言命題

熊明（編）目標(biāo)對某類簡單命題進(jìn)行“邏輯分析”，確定其形式（從而確定相關(guān)推理的形式）。直言命題直言命題（又稱為性質(zhì)命題）：斷定詞項(xiàng)所指對象具有或不具有某種性質(zhì)的命題。例子：所有的烏鴉都是黑色的。所有誠實(shí)的人都不說謊。有的學(xué)生是黨員。有的哲學(xué)家不是邏輯學(xué)家。主項(xiàng)謂項(xiàng)量項(xiàng)聯(lián)項(xiàng)矩形不是正方形。矩形不是正方形。有些有些直言命題的結(jié)構(gòu)直言命題的聯(lián)項(xiàng)只有兩種：肯定聯(lián)項(xiàng)：是，為否定聯(lián)項(xiàng)：不是，不為它們代表直言命題的“質(zhì)”直言命題的聯(lián)項(xiàng)直言命題的量項(xiàng)有兩種：全稱量項(xiàng)：所有，一切，任意特稱量項(xiàng)（存在量項(xiàng)）：有的，有些，存在它們代表直言命題的“量”直言命題的量項(xiàng)2.直言命題的類別直言命題的類別按直言命題聯(lián)項(xiàng)的不同直言命題肯定命題否定命題直言命題的類別按直言命題量項(xiàng)的不同直言命題全稱命題特稱命題直言命題的類別直言命題肯定命題否定命題全稱肯定命題特稱肯定命題全稱否定命題特稱否定命題例：所有的正方形都是長方形。全稱肯定命題有些簡單命題不是直言命題。特稱否定命題3.直言命題的形式直言命題的形式全稱肯定命題：例：所有的天使都是說真話的

主項(xiàng)（天使）：S 謂項(xiàng)（說真話的）：P邏輯形式：SAPA：所有的

…

都是…直言命題的形式全稱肯定命題：SAP A命題特稱肯定命題：SIP I命題直言命題的形式全稱否定命題：SEP E命題特稱否定命題：SOP O命題例：所有的正方形都是長方形。形式：SAP有些簡單命題不是直言命題。形式：SOP例愚人不為煩惱所困擾。（所有的）愚人（都是）不為煩惱所困擾（的）。形式：SAP（所有的）愚人（都不是）為煩惱所困擾（的）。形式：SEP4.直言命題的真值SAPTTFFFSEPFFFFTSIPTTTTFSOPFFTTTSPPSSPPSPSP例子（關(guān)于SAP）所有的等邊三角形都是等角三角形。所有的等邊三角形都是等腰三角形。所有的等腰三角形都是等邊三角形。所有的直角三角形都是等角三角形。所有的直角三角形都是等邊三角形。例子（關(guān)于SEP）所有的等邊三角形都不是等角三角形。所有的等邊三角形都不是等腰三角形。所有的等腰三角形都不是等邊三角形。所有的直角三角形都不是等角三角形。所有的直角三角形都不是等邊三角形。例子（關(guān)于SIP）有的等邊三角形是等角三角形。有的等邊三角形是等腰三角形。有的等腰三角形是等邊三角形。有的直角三角形是等角三角形。有的直角三角形是等邊三角形。例子（關(guān)于SOP）有的等邊三角形不是等角三角形。有的等邊三角形不是等腰三角形。有的等腰三角形不是等邊三角形。有的直角三角形不是等角三角形。有的直角三角形不是等邊三角形。5.直言命題中詞項(xiàng)的周延性直言命題中詞項(xiàng)的周延性規(guī)定從命題的形式上看，如果直言命題對某個詞項(xiàng)進(jìn)行的斷定是相對于這個詞項(xiàng)外延中每個元素作出的，那么就稱該詞項(xiàng)在這個直言命題中是周延的；否則，就稱該詞項(xiàng)在這個直言命題中是不周延的。對全稱肯定命題全稱肯定命題中，主項(xiàng)是周延的。全稱肯定命題中，謂項(xiàng)是不周延的。例子：所有的烏鴉都是黑色的。對全稱否定命題全稱否定命題中，主項(xiàng)和謂項(xiàng)都是周延的。例子：所有的奇數(shù)都不是偶數(shù)。對特稱肯定命題特稱肯定命題中，主項(xiàng)和謂項(xiàng)都不是周延的。例子：有的學(xué)生是黨員。對特稱否定命題特稱