命題邏輯
(一) 聯(lián)言命題
假言命題及推理
假言命題的定義
假言命題斷定的是某一事物情況是另一件事物情況的條件,也稱為條件關(guān)系命題。假言命題可分為三種,分別是充分條件假言命題、必要條件假言命題和充要條件假言命題。
1.充分條件
如果有事物S,則有事物P;但是,如果沒(méi)有事物S,事物P可能有也可能沒(méi)有;此時(shí),S是P的充分條件。
例如:一個(gè)數(shù)字如果大于9,則大于7;但是,如果不大于9,是否大于7無(wú)法確定。此時(shí),某數(shù)字大于9,是該數(shù)字大于7的充分條件。
2.必要條件
如果沒(méi)有事物S,則沒(méi)有事物P;如果有事物S,事物P可能有也可能沒(méi)有;此時(shí),S是P的必要條件。
例如:如果畢業(yè)不滿三年,則不能報(bào)考MBA;但是,如果滿了3年,是否能報(bào)考MBA依然不確定。此時(shí),畢業(yè)滿三年,是報(bào)考MBA的必要條件。
3.充要條件
如果有事物S,則有事物P;同時(shí),如果沒(méi)有事物S,則沒(méi)有事物P;此時(shí),S是P的充要條件。
例如:如果三角形三條邊均相等,則三個(gè)內(nèi)角均相等;同時(shí),如果三角形三條邊不完全相等,則三個(gè)內(nèi)角不完全相等。此時(shí),三角形三條邊均相等是三個(gè)內(nèi)角均相等的充要條件。
假言命題的形式化表達(dá)
1.以下描述,屬于充分條件假言命題,S是P的充分條件,可簡(jiǎn)寫(xiě)為:S→P
(1)如果S,就(則、那么)P;
(2)只要S,就(則、那么)P;
(3)若S,就(則、那么)P;
(4)要想S,就(則、那么)P;
(5)S,必須P;
(6)S,一定(必然)P ;
(7)有S,不可避免出現(xiàn)P;
(8)S,導(dǎo)致P;
規(guī)律:“→”前面放充分條件;
2.以下描述,屬于必要條件假言命題,S是P的必要條件,可簡(jiǎn)寫(xiě)為:P→S
(1)只有S,才P;
(2)除非S,才P;
(3)不S,就不P;
(4)沒(méi)有S,就沒(méi)有P;
(5)S是P的基礎(chǔ);
(6)S是P的前提;
(7)S是P必不可少的因素;
(8)P離不開(kāi)S;
(9)有P,不可缺少S;
規(guī)律:“→”后面放必要條件;
3.以下描述,屬于充要條件假言命題,S是P的充要條件,可簡(jiǎn)寫(xiě)為:S→P,P→S
(1)S,當(dāng)且僅當(dāng)P;
(2)S是P的唯一因素;
4.關(guān)于“除非……否則……”的靈活應(yīng)用
(1)除非S,否則P = 非S→P = 非P→S = S或P;★
(2)“除非”單獨(dú)出現(xiàn),作用等同于“除非…否則…”;
(3)“否則”單獨(dú)出現(xiàn),作用等同于“除非…否則…”;
(4)“除非”與其他聯(lián)結(jié)詞的搭配,按其他聯(lián)結(jié)詞的規(guī)律進(jìn)行形式化表達(dá);
假言命題及推理的六個(gè)基本式
(一) 推理式
S→P為真,S真,可推出P真
(二) 逆否式
S→P為真,P假,可推出S假;即S→P = 非P→非S
(三) 轉(zhuǎn)換式
如果S,則P = 只有P,才S = 如果非P,則非S
(四) 連鎖式
S→P + P→R 可得到 S→P→R
特殊情況:“→”后的條件若可以否定“→”前的條件,則“→”前的條件必假。★
例如:(1)P→非P,則P為假;(2)S且P →非P,則S且P 為假;
(五) 恒真式
S→P = 非S 或 P
根據(jù)相容選言命題的真假判斷式,可知當(dāng)S為假或者P為真時(shí),“S→P”一定為真。
(六) 矛盾式
“S→P”與“S且非P”相互矛盾
1.若“如果S則P”為真,只有其矛盾“S且非P”一定是假的,其余由條件S、P所構(gòu)成的命題,均可能為真。
例如:“如果下雨就堵車(chē)”為真,根據(jù)矛盾式,“下雨但不堵車(chē)”一定為假。其余情況“下雨了也堵車(chē)了”、“沒(méi)下雨了但堵車(chē)了”、“沒(méi)下雨也沒(méi)堵車(chē)”均可能為真。
2.當(dāng)S為真,P為假時(shí),可證明“如果S則P”一定為假。
例如:“做題了但成績(jī)不好”為真,可證明“如果做題,則一定取得好成績(jī)”一定為假。
二難推理的三個(gè)基本式
(一) 標(biāo)準(zhǔn)式
“或”+“→”
S或P,P→Q,S→R,可推出 Q或R 為真
(二) 簡(jiǎn)化式
1.前件矛盾:“S → …”+“非S → …”
S→P,非S→Q,可推出 P或Q 為真
2.后件矛盾:“… → S”+“… → 非S”
P→S,Q→非S,可推出 P或Q 為假,進(jìn)而推出 非P或非Q 為真
(三) 變形式
“或”+“或”
直言命題及推理
直言命題,斷定了事物是否具有某種性質(zhì),由主項(xiàng)、謂項(xiàng)、聯(lián)項(xiàng)、量項(xiàng)四部分構(gòu)成。
1.主項(xiàng),是斷定的對(duì)象,出現(xiàn)在句子的主語(yǔ)位置;
2.謂項(xiàng),是斷定的性質(zhì),出現(xiàn)在句子的賓語(yǔ)位置;
3.聯(lián)項(xiàng),斷定了具有或不具有該性質(zhì),出現(xiàn)在句子的謂語(yǔ)位置;分為肯定(是)和否定(不是)兩種形式;
4.量項(xiàng),主要出現(xiàn)在主項(xiàng)之前,偶爾出現(xiàn)在謂項(xiàng)之前;分為全稱(所有、任何、凡是、每個(gè)、都)、特稱(有的、有些、至少一個(gè)、某些)及單稱三種形式。
根據(jù)不同的量項(xiàng)和聯(lián)項(xiàng)的組合,直言命題可分為6種,分別是:(S、P分別表示主項(xiàng)和謂項(xiàng)
聯(lián)言命題是斷定幾種事物情況同時(shí)存在的命題,構(gòu)成聯(lián)言命題的肢命題稱作聯(lián)言肢。聯(lián)言命題由至少2個(gè)聯(lián)言肢構(gòu)成。例如:這次考試,不僅題量大,而且難度高。
聯(lián)言命題可表示為P且Q,也可寫(xiě)為:P∧Q。此時(shí),P、Q分別代表聯(lián)言肢。
聯(lián)言命題常見(jiàn)的聯(lián)結(jié)詞一般表示的是并列、遞進(jìn)、轉(zhuǎn)折關(guān)系。例如:…并且…;既…又…;一方面…另一方面…;不僅…而且…;雖然…但是…;…和…都…;等等。
(二) 選言命題
選言命題是斷定幾個(gè)可能的事物情況中,至少有一個(gè)事物情況存在的命題。構(gòu)成選言命題的肢命題稱做選言肢。選言命題由至少2個(gè)選言肢構(gòu)成。
例如:(1)今天晚上復(fù)習(xí)數(shù)學(xué)或邏輯;(2)這次旅行,要么去歐洲,要么去東南亞。
1.相容選言命題
斷定幾個(gè)可能的事物情況中,至少有一個(gè)事物情況存在并且可以同時(shí)存在時(shí),我們稱之為相容選言命題。
相容選言命題可表示為P或Q,也可寫(xiě)為P∨Q。此時(shí),P、Q分別代表選言肢。
相容選言命題常見(jiàn)的聯(lián)結(jié)詞有:或者…或者…;…或…;可能…可能…,也許…也許…;…和…至少一個(gè);等等。
兩個(gè)特殊聯(lián)結(jié)詞:“至多……”、“除非…否則…”,
2.不相容選言命題
斷定幾個(gè)可能的事物情況中,有且只有一種事物情況存在時(shí),我們稱之為不相容選言命題。
不相容選言命題可表示為要么P要么Q,也可寫(xiě)為P ⊻ Q。此時(shí),P、Q分別代表選言肢。
不相容選言命題常見(jiàn)的聯(lián)結(jié)詞有:要么…要么…;不是…就是…;等等。
聯(lián)言、選言命題及推理的三個(gè)基本式
(一) 整體與分肢的真假判斷式
聯(lián)言、選言命題均屬于復(fù)合命題,在判斷真假時(shí),首先要需分清已知條件給出的是命題整體的真假,還是分肢的真假。
結(jié)合下圖,理解聯(lián)言、選言命題的整體與分肢之間的真假關(guān)系:
1.由整體推斷分肢時(shí)
(1)(P且Q)真 → P真、Q真;
(2)(P或Q)假 → P假、Q假;
2.由分肢推斷整體時(shí)
(1)P真→(P或…)真;Q真→(Q或…)真;
(2)P假→(P且…)假;Q假→(Q且…)假;
(二) 推理式
1.相容選言推理
(1)若一個(gè)分肢為假,可推出另一個(gè)分肢為真;
(2)若一個(gè)分肢為真,則另一個(gè)分肢真假不確定,即可能真也可能假;
2.不相容選言推理
(1)若一個(gè)分肢為假,可推出另一個(gè)分肢為真;
(2)若一個(gè)分肢為真,可推出另一個(gè)分肢為假;
(三) 矛盾式
矛盾式的應(yīng)用,具體表現(xiàn)為某個(gè)命題為真時(shí),與之矛盾的命題必假;這個(gè)命題為假時(shí),與之矛盾的命題必真。
考試中,在涉及以真求假或以假求真的題目中,往往會(huì)用到矛盾式;另外,在出現(xiàn)“并非……”這類描述時(shí),也會(huì)用到矛盾式。
1.“P且Q”與“非P 或 非Q”相互矛盾;
并非(P且Q) = 非P 或 非Q;
2.“P或Q” 與“非P 且 非Q” 相互矛盾;
并非(P或Q) = 非P 且 非Q;
3.“要么P要么Q”與“(P且Q)或(非P且非Q)”相互矛盾;
并非(要么P要么Q) = (P且Q)或(非P且非Q);
鄭州華章MBA培訓(xùn)中心
咨詢電話:0371-66961135
報(bào)名時(shí)間:8:00-18:00,周末不休
校址:鄭州二七區(qū)大學(xué)路金源大廈(鄭州大學(xué)南校區(qū)東門(mén)對(duì)面)11辦公室
公交路線:乘4、63、66、82、111、201、217、256、317、903、904、906、Y806、Y815路公交車(chē)到大學(xué)路桃源路站下車(chē)