邏輯學(xué) 命題邏輯

??#?要么p，要么q，要么r具有n個(gè)選言支的不相容的選言命題的形式可表示為：要么P1要么p2要么…要么pn不相容的選言命題的聯(lián)結(jié)詞可用符號(hào)“▽”表示。這樣，上述形式也可分別表示為：pgpVqVrPiVp2S?7pn這里的“?”可稱為不相容析取詞，pVq稱為不相容析取式，可讀作“p不相容析取q”。區(qū)別相容的選言命題和不相容的選言命題，可根據(jù)其聯(lián)結(jié)詞。從邏輯含義上說(shuō)，不相容的選言命題比相容的選言命題多了一層含義，即選言支不同真。“或者”沒(méi)有表示這層含義（“或者”本身并未表明選言支表示的事物情況事實(shí)上能否同真），而“要么”則表明了這層含義。在日常語(yǔ)言中，“或者……或者……，二者不可得兼”的含義相當(dāng)于“要么……要么……”，前者表達(dá)的命題與后者表達(dá)的命題是邏輯等值的。2．不相容的選言命題的真假值不相容的選言命題斷定的是若干事物情況中只有一種情況存在，其真假取決于其各個(gè)選言支所表示的事物情況事實(shí)上是不是只有一種存在，即其各個(gè)選言支中是否只有一個(gè)是真的。如果一個(gè)不相容的選言命題只有一個(gè)選言支為真，那么，這個(gè)不相容的選言命題就是真的；如果有不止一個(gè)選言支為真，或者全部選言支都是假的，那么，這個(gè)不相容的選言命題就是假的。不相容選言命題與其選言支之間的真假值關(guān)系可概括為：一個(gè)不相容選言命題是真的，當(dāng)且僅當(dāng)其有一個(gè)選言支為真，而其他選言支都是假的。對(duì)于只有兩個(gè)選言支的不相容選言命題就是：pVq真，當(dāng)且僅當(dāng)p和q—真一假。與相容的選言命題一樣，不相容的選言命題的真假值也僅是就其邏輯含義而言的，它同樣忽略了選言命題在語(yǔ)言表達(dá)上的特點(diǎn)。這些特點(diǎn)前面已說(shuō)過(guò)，不再重復(fù)。（四）運(yùn)用選言命題時(shí)需注意的問(wèn)題1.關(guān)于兩種選言命題的區(qū)分問(wèn)題關(guān)于如何區(qū)分兩種不同的選言命題，目前在邏輯界有兩種不同意見(jiàn)：一是完全按照聯(lián)結(jié)詞來(lái)區(qū)分，聯(lián)結(jié)詞為“或者”的是相容的選言命題，聯(lián)結(jié)詞為“要么……要么……”的是不相容的選言命題。二是部分地按照聯(lián)結(jié)詞但不完全按照聯(lián)結(jié)詞來(lái)區(qū)分，聯(lián)結(jié)詞為“要么……要么……”的是不相容的選言命題，但聯(lián)結(jié)詞為“或者”的是哪一種選言命題要根據(jù)選言支的內(nèi)容決定（選言支從內(nèi)容上看可能同真的為相容的選言命題，選言支從內(nèi)容上看不可能同真的為不相容的選言命題）。以上兩種意見(jiàn)分歧的焦點(diǎn)是：聯(lián)結(jié)詞為“或者”時(shí)，能否按照選言支的內(nèi)容來(lái)確定選言命題的種類。我認(rèn)為，按照選言支的內(nèi)容來(lái)確定選言命題的種類的做法是不可取的。主要理由是：第一，這種做法從理論上說(shuō)是沒(méi)有根據(jù)的。一個(gè)命題的邏輯含義并不決定于該命題的具體內(nèi)容，而只取決于該命題中相當(dāng)于邏輯常項(xiàng)的部分。因此，我們只能根據(jù)聯(lián)結(jié)詞“或者”本身的含義，來(lái)確定選言命題的種類。“或者”本身并不具有選言支不同真的意思，因而并不能表達(dá)出不相容的選言命題的邏輯含義。至于選言支事實(shí)上能否同真，與命題的邏輯含義并無(wú)關(guān)系。第二，這種做法從實(shí)踐上說(shuō)也會(huì)造成種種困難。相容的選言命題按其含義，并不要求選言支一定能夠同真。但這種做法卻把選言支不能同真的選言命題一概排斥在相容的選言命題之外，這不符合人們運(yùn)用選言命題的實(shí)際情況，而且可能引起不必要的麻煩。另外，對(duì)于那些人們無(wú)法或難以判斷其選言支能否同真的命題，這種做法也不具有可操作性。2.關(guān)于選言支的窮盡問(wèn)題人們運(yùn)用選言命題，往往是針對(duì)有關(guān)某一問(wèn)題的若干可能情況做出斷定的。一個(gè)選言命題，如果其各個(gè)選言支反映了有關(guān)某一問(wèn)題的全部可能情況，那么其選言支就是窮盡的，反之就是不窮盡的。在恰當(dāng)?shù)厥褂寐?lián)結(jié)詞的情況下，一個(gè)選言支窮盡的選言命題一定是真實(shí)的，因?yàn)槠溥x言支反映了有關(guān)某一問(wèn)題的全部可能情況，在這全部可能情況中一定包含著（至少包含著或只包含著）一個(gè)真的情況。當(dāng)然，一個(gè)選言支不窮盡的選言命題并不一定就是假的，因?yàn)槠溥x言支雖然只反映了有關(guān)某一問(wèn)題的一部分可能情況，但在這一部分情況中也可能包含著一個(gè)真的情況。一般說(shuō)來(lái)，我們是在不知道哪個(gè)選言支為真的情況下運(yùn)用選言命題的。因此，為了保證選言命題的真實(shí)性，我們必須充分考慮到各種可能，力求或盡可能使選言支窮盡，以免因遺漏了唯一真實(shí)的選言支而造成選言命題的虛假。分析與思考】下面是從《北京晚報(bào)》上摘錄的兩段話，其中包含的聯(lián)言命題是真實(shí)的嗎？（1）IT產(chǎn)品自上市的第一天起，就與摩爾法則（18個(gè)月計(jì)算機(jī)性能提高一倍，價(jià)格下降一倍）連在一起……（2）奧斯卡獎(jiǎng)是美國(guó)電影工業(yè)的最高榮譽(yù)，也是世界范圍內(nèi)最受關(guān)注的現(xiàn)場(chǎng)秀節(jié)目之一，在過(guò)去大明星和大片的缺席意味著電視收視率的下降，但是新面孔同樣會(huì)帶來(lái)新鮮的刺激。四、假言命題（一）什么是假言命題假言命題是斷定一事物情況是另一事物情況的條件的命題，即斷定兩種事物情況之間的條件關(guān)系的命題。假言命題由兩個(gè)支命題經(jīng)“如果……那么……”或“只有……才……”等聯(lián)結(jié)詞聯(lián)結(jié)而成。這兩個(gè)支命題，一個(gè)是表示某種條件的，稱為前件，另一個(gè)是表示依某種條件而存在的情況的，稱為后件。假言命題與聯(lián)言命題和選言命題不同。聯(lián)言命題和選言命題可以由兩個(gè)支命題構(gòu)成，也可以由三個(gè)或更多的支命題構(gòu)成，而假言命題只由兩個(gè)支命題構(gòu)成。聯(lián)言命題和選言命題注重的是支命題本身的真假，在支命題都假的情況下，無(wú)論是聯(lián)言命題還是選言命題都不可能是真的；而假言命題注重的則是支命題（前后件）之間的聯(lián)系，即使前后件都假，只要確實(shí)具有一定的條件關(guān)系，整個(gè)假言命題也可以是真的。所以，人們運(yùn)用假言命題，可以針對(duì)某種假設(shè)的、事實(shí)上并不存在（或可能不存在）的事物情況來(lái)做出斷定。這對(duì)于科學(xué)探索、日常論辯等都有重要作用。這是假言命題的特殊之處。例：（1）發(fā)展旅游事業(yè)好不好（2）丘吉爾反譏女議員假言命題按照其斷定的不同的條件關(guān)系，可分為充分條件假言命題、必要條件假言命題和充分必要條件假言命題三種。（二）充分條件假言命題1．什么是充分條件假言命題充分條件假言命題是斷定一事物情況的存在是另一事物情況必然存在的條件的命題。一事物情況的存在是另一事物情況必然存在的條件，這種條件稱為充分條件。用p和q分別表示兩個(gè)事物情況，p是q的充分條件即是說(shuō)，只要有p存在，必然有q存在。用《墨經(jīng)》上的說(shuō)法，就是“有之必然”。充分條件假言命題由“如果……那么……”等聯(lián)結(jié)兩個(gè)支命題構(gòu)成。在日常語(yǔ)言中，與“如果……那么……”類似的關(guān)聯(lián)詞很多，如“如果……就……”、“如果……則……”、“若……則……”、“倘若……則……”、“只要……就……”、“假如……就……”、“要是……那么……”等等。這些關(guān)聯(lián)詞所表達(dá)的邏輯含義相同，在表示充分條件假言命題的形式時(shí)，我們僅以“如果……那么……”作為代表，即將其形式表示為：如果p，那么q我們也可用符號(hào)“T”代替“如果……那么……”，即將上述形式表示為：PTq這里的“T”稱為蘊(yùn)涵詞，pTq稱為蘊(yùn)涵式，可讀作“p蘊(yùn)涵q”。在日常語(yǔ)言中，有時(shí)表達(dá)充分條件假言命題的聯(lián)結(jié)詞的詞語(yǔ)可以省略。2．充分條件假言命題的真假值充分條件假言命題斷定的是一事物情況的存在是另一事物情況必然存在的條件，其真假取決于其前、后件表示的事物情況事實(shí)上是不是具有這樣的條件關(guān)系，即是不是當(dāng)其前件真時(shí)后件必真。如果當(dāng)一個(gè)充分條件假言命題前件真時(shí)其后件必真，即當(dāng)其前件真時(shí)其后件不可能假，那么這個(gè)充分條件假言命題就是真的；如果當(dāng)一個(gè)充分條件假言命題前件真時(shí)其后件不必真，即當(dāng)其前件真時(shí)其后件可能假，那么這個(gè)充分條件假言命題就是假的。（三）必要條件假言命題1．什么是必要條件假言命題必要條件假言命題是斷定一事物情況的不存在是另一事物情況必然不存在的條件的命題。一事物情況的不存在是另一事物情況必然不存在的條件，這種條件稱為必要條件。用p和q分別表示兩個(gè)事物情況，p是q的必要條件即是說(shuō)，只要沒(méi)有p存在，必然沒(méi)有q存在。用《墨經(jīng)》上的說(shuō)法，就是“無(wú)之必不然”。必要條件假言命題由“只有……才……”等聯(lián)結(jié)兩個(gè)支命題構(gòu)成。在日常語(yǔ)言中，與“只有……才……”類似的關(guān)聯(lián)詞還有“必須……才……”、“除非……才……”、“除非……不……”等。在表示必要條件假言命題的形式時(shí)，我們僅以“只有……才……”作為代表，即將其形式表示為：只有P,才q我們也可用符號(hào)代替“只有……才……”，即將上述形式表示為：pjq這里的稱為反蘊(yùn)涵詞，pjq稱為反蘊(yùn)涵式，可讀作“p反蘊(yùn)涵q”。我們不難看出，蘊(yùn)涵和反蘊(yùn)涵是兩種相反的關(guān)系。當(dāng)pTq真時(shí)，q~p必真；反之亦然。也就是說(shuō)，當(dāng)p是q的充分條件時(shí)，q—定是p的必要條件；反之亦然。2．必要條件假言命題的真假值必要條件假言命題斷定的是一事物情況的不存在是另一事物情況必然不存在的條件，其真假取決于其前、后件表示的事物情況事實(shí)上是不是具有這樣的條件關(guān)系，即是不是當(dāng)其前件假時(shí)后件必假。如果當(dāng)一個(gè)必要條件假言命題前件假時(shí)其后件必假，即當(dāng)其前件假時(shí)其后件不可能真，那么這個(gè)必要條件假言命題就是真的；如果當(dāng)一個(gè)必要條件假言命題前件假時(shí)其后件不必假，即當(dāng)其前件假時(shí)其后件可能真，那么這個(gè)必要條件假言命題就是假的。（四）充分必要條件假言命題1．什么是充分必要條件假言命題充分必要條件假言命題是斷定一事物情況的存在和不存在分別是另一事物情況必然存在和必然不存在的條件的命題。一事物情況的存在和不存在分別是另一事物情況必然存在和必然不存在的條件，這種條件稱為充分必要條件。用p和q分別表示兩個(gè)事物情況，p是q的充分必要條件即是說(shuō)，只要有p存在，必然有q存在；同時(shí)，只要沒(méi)有p存在，必然沒(méi)有q存在。也就是“有之必然，無(wú)之必不然”。顯然，充分必要條件就是既充分又必要的條件。充分必要條件假言命題由“當(dāng)且僅當(dāng)……才……”等聯(lián)結(jié)兩個(gè)支命題構(gòu)成，其形式可表示為：當(dāng)且僅當(dāng)p,才q我們也可用符號(hào)“㈠”代替“當(dāng)且僅當(dāng)……才……”，即將上述形式表示為：poq這里的“分”稱為等值詞，poq稱為等值式，可讀作“p等值于q”。在日常語(yǔ)言中，人們很少用“當(dāng)且僅當(dāng)……才……”之類的說(shuō)法，而是常常用“如果……那么……，并且，只有……才……”來(lái)表達(dá)與“當(dāng)且僅當(dāng)……才……”相同的意思。2．充分必要條件假言命題的真假值充分必要條件假言命題斷定的是一事物情況的存在和不存在分別是另一事物情況必然存在和必然不存在的條件，其真假取決于其前、后件表示的事物情況事實(shí)上是不是具有這樣的條件關(guān)系，即是不是當(dāng)其前件真時(shí)后件必真，并且當(dāng)其前件假時(shí)后件必假。如果當(dāng)一個(gè)充分必要條件假言命題前件真時(shí)其后件必真，并且當(dāng)其前件假時(shí)其后件必假，即當(dāng)其前件真時(shí)其后件不可能假，并且當(dāng)其前件假時(shí)其后件不可能真，那么這個(gè)充分必要條件假言命題就是真的；如果當(dāng)一個(gè)充分必要條件假言命題前件真時(shí)其后件不必真，或者當(dāng)其前件假時(shí)其后件不必假，即當(dāng)其前件真時(shí)其后件可能假，或者當(dāng)其前件假時(shí)其后件可能真，那么這個(gè)充分必要條件假言命題就是假的。（五）在運(yùn)用假言命題時(shí)需注意的問(wèn)題在運(yùn)用假言命題時(shí)，應(yīng)注意以下問(wèn)題：第一，要正確區(qū)分三種不同的假言命題。假言命題的種類是依據(jù)其斷定的不同條件關(guān)系來(lái)區(qū)分的，而一個(gè)假言命題斷定了什么樣的條件關(guān)系，是由其聯(lián)結(jié)詞的邏輯含義決定的。因此，一個(gè)假言命題是充分條件假言命題、必要條件假言命題還是充分必要條件假言命題，僅取決于它具有什么樣的聯(lián)結(jié)詞，而不取決于它具有什么樣的前后件。在運(yùn)用假言命題時(shí)，聯(lián)結(jié)詞的搭配適當(dāng)也是十分重要的，不能將不同的聯(lián)結(jié)詞混用。第二，要如實(shí)地?cái)喽ㄊ挛锴闆r之間的條件關(guān)系。事物情況間的條件關(guān)系是客觀存在的，我們運(yùn)用假言命題的時(shí)候，必須按照事物情況之間實(shí)際具有的條件關(guān)系做出斷定，不能強(qiáng)加條件關(guān)系或混淆不同的條件關(guān)系。所謂強(qiáng)加條件關(guān)系，就是把本來(lái)沒(méi)有條件關(guān)系的兩個(gè)事物情況主觀任意地聯(lián)系起來(lái)，錯(cuò)誤地?cái)喽ㄋ鼈兙哂袟l件關(guān)系。例：（1）“四人幫”橫行時(shí)期的錯(cuò)誤口號(hào)（2）封建迷信中的說(shuō)法所謂混淆不同的條件關(guān)系，就是把充分條件誤當(dāng)成必要條件，或者把必要條件誤當(dāng)成充分條件。例：（1）貪污腐化與犯大錯(cuò)誤（2）熟悉農(nóng)村生活與寫出反映農(nóng)村生活的好作品（3）婚姻糾紛案另外，在運(yùn)用假言命題時(shí)，聯(lián)結(jié)詞的搭配適當(dāng)也是十分重要的，不能將不同的聯(lián)結(jié)詞混用。例：“人最重要是找到屬于自己的世界，只要找到屬于自己的世界，人生才有意義?！保ㄓ捌额^文字D》中男主角拓海的女友夏樹(shù)講的一段話）五、復(fù)合命題的較復(fù)雜的形式以上我們介紹了幾種基本的復(fù)合命題，從我們上面所舉的那些復(fù)合命題的例子看，它們的支命題都是簡(jiǎn)單命題，因而在表示它們的形式時(shí)，每一種形式中只出現(xiàn)了一個(gè)聯(lián)結(jié)詞。但是實(shí)際上，一個(gè)復(fù)合命題的支命題不一定是簡(jiǎn)單命題，它也可以是復(fù)合命題。例：（1）并非張工程師既去過(guò)英國(guó)也去過(guò)法國(guó)。（2）小余在上海工作，去年或前年到過(guò)北京。（3）如果他報(bào)考GRE或TOEFL，他就去“新東方”學(xué)習(xí)。（4）只有甲隊(duì)?wèi)?zhàn)勝了乙隊(duì)或者丙隊(duì)?wèi)?zhàn)勝了乙隊(duì)，甲隊(duì)和丙隊(duì)才能都出線。不難看出，以聯(lián)結(jié)詞和命題變項(xiàng)作各種組合，可以構(gòu)成許許多多較復(fù)雜或相當(dāng)復(fù)雜的復(fù)合命題形式。但不管一個(gè)復(fù)合命題形式怎樣復(fù)雜，從其主聯(lián)結(jié)詞看，仍可將其歸入否定式、合取式、析取式、不相容析取式、蘊(yùn)涵式、反蘊(yùn)涵式和等值式這七種基本的復(fù)合命題形式。六、復(fù)合命題之間的等值轉(zhuǎn)換復(fù)合命題的形式是多種多樣的，但一些不同的復(fù)合命題形式之間卻存在著等值關(guān)系，即是說(shuō)，它們的真假值總是相同：當(dāng)其中一個(gè)的值為真時(shí)，另一個(gè)的值必真；當(dāng)其中一個(gè)的值為假時(shí)，另一個(gè)的值必假。我們把命題形式之間存在的等值關(guān)系稱為邏輯等值關(guān)系。如果兩個(gè)命題存在著形式上的等值關(guān)系，我們就說(shuō)這兩個(gè)命題具有邏輯等值關(guān)系（簡(jiǎn)稱等值關(guān)系）。具有邏輯等值關(guān)系的命題，實(shí)際上是形式不同而邏輯含義相同的命題。因此，掌握了命題之間的邏輯等值關(guān)系，我們就可以把一些命題轉(zhuǎn)換為與之邏輯含義相同的其他命題。這種根據(jù)命題之間的邏輯等值關(guān)系進(jìn)行的轉(zhuǎn)換，稱為等值轉(zhuǎn)換。下面介紹幾種常用的對(duì)復(fù)合命題進(jìn)行等值轉(zhuǎn)換的規(guī)律。（一）雙重否定律雙重否定律反映了一個(gè)命題的負(fù)命題的負(fù)命題（即在一個(gè)命題前面加上兩個(gè)否定詞構(gòu)成的命題）與這個(gè)命題之間的邏輯等值關(guān)系。這個(gè)規(guī)律可以表示為：-1-1AoA這里的A表示任一命題變項(xiàng)或命題形式，例如它可以是p、q、pAq、pTq等等?！皁”是表示邏輯等值關(guān)系的符號(hào)，讀作“邏輯等值于”（或“等值于”）。雙重否定律表明，否定的否定等于肯定。其正確性顯而易見(jiàn)。運(yùn)用雙重否定律，可以消去一個(gè)命題前面的重疊的否定詞，或在一個(gè)命題前面加上兩個(gè)重疊的否定詞。例：（1）并非不是中國(guó)人發(fā)明了火藥（2）所有進(jìn)口商品都要繳納關(guān)稅（二）德摩根律德摩根律包括兩條規(guī)律，可分別稱為否定合取律和否定析取律。1．否定合取律否定合取律反映了一個(gè)聯(lián)言命題的負(fù)命題（在一個(gè)聯(lián)言命題前面加上否定詞構(gòu)成的負(fù)命題）和相應(yīng)的相容選言命題之間的邏輯等值關(guān)系。這個(gè)規(guī)律可表示為：-1（AaB）o-1Av-B這里的A和B分別表示任一命題變項(xiàng)或命題形式。這條規(guī)律的正確性是很容易理解的?！福ˋAB）可理解為合取式AAB的值為假，而要使AAB的值為假，A和B應(yīng)至少有一個(gè)為假，這正是「AV^B的意思。運(yùn)用否定合取律，可以把一個(gè)聯(lián)言命題的負(fù)命題轉(zhuǎn)換為與之邏輯等值的相容選言命題，或者相反。例：（1）并非這種商品既物美又價(jià)廉（2）他不買國(guó)庫(kù)券，或者不買股票2．否定析取律否定析取律反映了一個(gè)相容選言命題的負(fù)命題（在一個(gè)相容選言命題前面加上否定詞構(gòu)成的負(fù)命題）和相應(yīng)的聯(lián)言命題之間的邏輯等值關(guān)系。這個(gè)規(guī)律可表示為：-1（AvB）o-1Aa-B這條規(guī)律的正確性也是很容易理解的?！福ˋVB）可理解為析取式AVB的值為假，而要使AVB的值為假，A和B必須都為假，這正是「AA^B的意思。運(yùn)用否定析取律，可以把一個(gè)相容選言命題的負(fù)命題轉(zhuǎn)換為與之邏輯等值的聯(lián)言命題，或者相反。例：（1）并非他會(huì)英語(yǔ)或者會(huì)日語(yǔ)（2）張麗和李薇都不是會(huì)計(jì)系的德摩根律包括的兩條規(guī)律，可以結(jié)合起來(lái)這樣來(lái)記：否定合取得析取，兩個(gè)支命題分別被否定；否定析取得合取，兩個(gè)支命題分別被否定。（三）假言變形律假言變形律反映了不同的假言命題之間的邏輯等值關(guān)系。它包括前后件換質(zhì)律、前后件換位律和前后件換質(zhì)位律。1．前后件換質(zhì)律所謂前后件換質(zhì)，就是同時(shí)改變一個(gè)假言命題前件和后件的質(zhì)（即肯定變否定或否定變肯定）。表示前后件換質(zhì)律的邏輯等值關(guān)系表達(dá)式較多，主要有：）AtBo「A——B）A—B-A—》―B）AoBo「Ao「B運(yùn)用前后件換質(zhì)律，可以把一個(gè)充分條件假言命題轉(zhuǎn)換成與之邏輯等值的必要條件假言命題，也可以把一個(gè)必要條件假言命題轉(zhuǎn)換成與之邏輯等值的充分條件假言命題，還可以把一個(gè)充分必要條件假言命題轉(zhuǎn)換成與之邏輯等值的另一個(gè)充分必要條件假言命題。例：（1）如果明天有課，我就去學(xué)校（2）他只有會(huì)英語(yǔ)，才能翻譯英文著作（3）當(dāng)且僅當(dāng)今天是星期六，明天才是星期日2．前后件換位律所謂前后件換位，就是交換一個(gè)假言命題前件和后件的位置（即前件變后件，后件變前件）。表示前后件換位律的邏輯等值關(guān)系表達(dá)式有兩個(gè)：）AtBoBjA）AoBoBoA與運(yùn)用前后件換質(zhì)律一樣，運(yùn)用前后件換位律，也可以把一個(gè)充分條件假言命題轉(zhuǎn)換成與之邏輯等值的必要條件假言命題，或者把一個(gè)必要條件假言命題轉(zhuǎn)換成與之邏輯等值的充分條件假言命題，或者把一個(gè)充分必要條件假言命題轉(zhuǎn)換成與之邏輯等值的另一個(gè)充分必要條件假言命題。例：（1）如果他是影星，那么他就演過(guò)電影（2）他只有會(huì)英語(yǔ)，才能翻譯英文著作（3）當(dāng)且僅當(dāng)今天是星期六，明天才是星期日3．前后件換質(zhì)位律所謂前后件換質(zhì)位，就是既同時(shí)改變一個(gè)假言命題前件和后件的質(zhì)，又交換其前件和后件的位置。表示前后件換質(zhì)律的邏輯等值關(guān)系表達(dá)式較多，主要有：）AtBo「Bt「A）A—B-B—A）AoBo「Bo「A前后件換質(zhì)位律實(shí)際上可看作前后件換質(zhì)律與前后件換位律的結(jié)合或連續(xù)運(yùn)用。運(yùn)用前后件換質(zhì)位律，可以把一個(gè)充分條件假言命題轉(zhuǎn)換成與之邏輯等值的另一個(gè)充分條件假言命題，或者把一個(gè)必要條件假言命題轉(zhuǎn)換成與之邏輯等值的另一個(gè)必要條件假言命題，或者把一個(gè)充分必要條件假言命題轉(zhuǎn)換成與之邏輯等值的另一個(gè)充分必要條件假言命題。例：（1）如果他是影星，那么他就演過(guò)電影（2）某數(shù)只有能被3整除，它才能被9整除（3）當(dāng)且僅當(dāng)今天是星期六，明天才是星期日前后件換質(zhì)律、前后件換位律和前后件換質(zhì)位律的邏輯等值關(guān)系表達(dá)式不必死記硬背。我們只需記住運(yùn)用這些規(guī)律對(duì)假言命題進(jìn)行等值轉(zhuǎn)換的方法即可。通過(guò)前后件換質(zhì)、前后件換位和前后件換質(zhì)位對(duì)假言命題進(jìn)行等值轉(zhuǎn)換的方法可總結(jié)如下：前后件換質(zhì)，充分變必要，必要變充分；前后件換位，充分變必要，必要變充分；前后件換質(zhì)位，充分得充分，必要得必要；前后件換質(zhì)、換位或換質(zhì)位，充要得充要。掌握假言變形律，能使我們深入理解各種假言命題的含義，并在各種假言命題之間進(jìn)行等值轉(zhuǎn)換，這對(duì)于正確認(rèn)識(shí)事物情況之間的條件聯(lián)系和有效地進(jìn)行論證，都有重要的實(shí)際意義。在數(shù)學(xué)中，常采用通過(guò)證明一個(gè)假言命題的逆否命題來(lái)證明該假言命題的方法，這里所謂逆否命題，即是通過(guò)對(duì)原假言命題進(jìn)行前后件換質(zhì)位得出的命題。第二節(jié)復(fù)合命題推理復(fù)合命題推理是至少含有一個(gè)復(fù)合命題，并根據(jù)復(fù)合命題的邏輯含義進(jìn)行的推理。它可以由復(fù)合命題和簡(jiǎn)單命題共同構(gòu)成，也可以完全由復(fù)合命題構(gòu)成。復(fù)合命題推理種類繁多，主要包括聯(lián)言推理、選言推理、假言推理、二難推理以及根據(jù)雙重否定律進(jìn)行的推理、根據(jù)德摩根律進(jìn)行的推理等。一、聯(lián)言推理（一）什么是聯(lián)言推理聯(lián)言推理是以一個(gè)聯(lián)言命題為前提或結(jié)論，并根據(jù)聯(lián)言命題的邏輯含義進(jìn)行的推理。例：（1）公司的休息日（2）李白和杜甫聯(lián)言推理有兩種不同形式，一種是分解式，一種是組合式。（二）聯(lián)言推理的分解式聯(lián)言推理的分解式是從一個(gè)聯(lián)言命題推出做其聯(lián)言支的一個(gè)命題的推理形式。運(yùn)用聯(lián)言推理的分解式，可以起到突出、強(qiáng)調(diào)事物的某一方面的作用。例：（1）尊重知識(shí)（2）古代中國(guó)有邏輯學(xué)說(shuō)（三）聯(lián)言推理的組合式聯(lián)言推理的組合式是從兩個(gè)或兩個(gè)以上命題推出由這些命題做聯(lián)言支構(gòu)成的聯(lián)言命題的推理形式。運(yùn)用聯(lián)言推理的組合式，可以把人們對(duì)事物各個(gè)方面的認(rèn)識(shí)集中起來(lái)，形成一個(gè)較全面的認(rèn)識(shí)。例：（1）《天龍八部》和《神雕俠侶》（2）黃老師哪天有課二、選言推理（一）什么是選言推理選言推理是以一個(gè)選言命題和若干否定或肯定其選言支的命題為前提，并根據(jù)選言命題的邏輯含義進(jìn)行的推理。例：（1）電燈滅了的原因（2）投影儀色彩失真的原因選言推理按照其選言前提是相容的選言命題，還是不相容的選言命題，可以分為相容選言推理和不相容選言推理兩種。（二）相容選言推理相容選言推理是前提中有一個(gè)相容的選言命題，并根據(jù)相容的選言命題的邏輯含義進(jìn)行的選言推理。相容的選言命題斷定的是若干事物情況中至少有一種情況存在，即其選言支中至少有一個(gè)為真。按照這種含義，一個(gè)相容的選言命題的選言支不能都假，但有幾個(gè)為真則不確定。因此，在運(yùn)用相容選言推理時(shí)須遵守以下規(guī)則：1．否定除一個(gè)以外的其他全部選言支，就要肯定那個(gè)剩下的選言支。2．肯定一個(gè)或一部分選言支不能得出結(jié)論。根據(jù)上述規(guī)則，相容選言推理只有一種有效形式，稱為否定肯定式。所謂否定肯定式，就是從否定到肯定的形式，即前提中否定選言命題除一個(gè)以外的其他全部選言支，結(jié)論肯定那個(gè)剩下的選言支。例：（1）買房（2）學(xué)習(xí)成績(jī)不好的原因（三）不相容選言推理不相容選言推理是前提中有一個(gè)不相容的選言命題，并根據(jù)不相容的選言命題的邏輯含義進(jìn)行的選言推理。不相容的選言命題斷定的是若干事物情況中只有一種情況存在，即選言支中只有一個(gè)為真。按照這種含義，一個(gè)不相容的選言命題的選言支不能都假，也不能有兩個(gè)或兩個(gè)以上同真。因此，在運(yùn)用不相容選言推理時(shí)須遵守以下規(guī)則：1．否定除一個(gè)以外的其他全部選言支，就要肯定那個(gè)剩下的選言支。2．肯定一個(gè)選言支，就要否定其他全部選言支。根據(jù)上述規(guī)則，不相容選言推理有兩種有效形式，即否定肯定式和肯定否定式。不相容選言推理的否定肯定式與相容選言推理的否定肯定式類似，只不過(guò)其選言前提是一個(gè)不相容的選言命題。例：（1）住宿生與走讀生（2）投票不相容選言推理的肯定否定式是從肯定到否定的形式，即前提中肯定選言命題的一個(gè)選言支，結(jié)論否定其他全部選言支。例：（1）合法的與違法的2）歷史文化遺產(chǎn)（四）運(yùn)用選言推理時(shí)需注意的問(wèn)題在運(yùn)用選言推理時(shí)，需注意以下兩個(gè)問(wèn)題：第一，要注意相容選言推理和不相容選言推理的區(qū)別。相容選言推理的選言前提是相容的選言命題，不相容選言推理的選言前提則是不相容的選言命題。不相容選言推理有否定肯定式和肯定否定式兩種有效形式，而相容選言推理卻只有否定肯定式一種有效形式。如果一個(gè)相容選言推理的形式為肯定否定式，那么該推理就是無(wú)效的。例：（1）質(zhì)量差的影片（2）鄭人買履第二，要注意選言前提的選言支是否窮盡。前面我們介紹了選言推理的幾種有效形式，運(yùn)用這些推理形式只有在前提真實(shí)的情況下，才能必然得出真實(shí)的結(jié)論。而要保證選言前提真實(shí)，選言支的窮盡問(wèn)題是一個(gè)不可忽視的問(wèn)題。如果選言前提的選言支不窮盡，而遺漏的又恰恰是真實(shí)的選言支，那么，就可能得出虛假的結(jié)論。例：（1）持竿進(jìn)城（2）趙海之死三、假言推理（一）什么是假言推理假言推理是以一個(gè)假言命題和一個(gè)肯定或否定其前件或后件的命題為前提，并根據(jù)假言命題的邏輯含義進(jìn)行的推理。例：長(zhǎng)生不老之術(shù)假言推理按照其假言前提是充分條件假言命題、必要條件假言命題還是充分必要條件假言命題，可分為充分條件假言推理、必要條件假言推理和充分必要條件假言推理。（二）充分條件假言推理充分條件假言推理是以一個(gè)充分條件假言命題為假言前提構(gòu)成的假言推理，它是以充分條件假言命題的邏輯含義作為依據(jù)的。充分條件假言命題斷定的是其前件表示的事物情況是后件表示的事物情況的充分條件，即有前者必有后者，亦即前件真后件必真。按照這種含義，一個(gè)充分條件假言命題不能前件真而后件假。也就是說(shuō)，一個(gè)充分條件假言命題，當(dāng)其前件真時(shí)，后件不能為假；當(dāng)其后件假時(shí)，前件不能為真。但當(dāng)其前件假時(shí)，后件的真假則不能確定；當(dāng)其后件真時(shí)，前件的真假也不能確定。因此，在運(yùn)用充分條件假言推理時(shí)，須遵守以下規(guī)則：1．肯定前件就要肯定后件。2．否定后件就要否定前件。3．否定前件不能得出結(jié)論。4．肯定后件不能得出結(jié)論。根據(jù)這些規(guī)則，充分條件假言推理有肯定前件式和否定后件式兩種有效形式。例：（1）張思德（2）吸煙（3）清明上河圖（4）女人與鴨子（5）無(wú)作案時(shí)間（6）非典（7）算命運(yùn)用充分條件假言推理時(shí)，不能從否定假言前提的前件或肯定其后件推出結(jié)論，否則就會(huì)導(dǎo)致無(wú)效的推理。例：（1）有作案時(shí)間（2）全勤為什么不能評(píng)一等獎(jiǎng)（三）必要條件假言推理必要條件假言推理是以一個(gè)必要條件假言命題為假言前提構(gòu)成的假言推理，它是以必要條件假言命題的邏輯含義作為依據(jù)的。必要條件假言命題斷定的是其前件表示的事物情況是后件表示的事物情況的必要條件，即無(wú)前者必?zé)o后者，亦即前件假后件必假。按照這種含義，一個(gè)必要條件假言命題不能前件假而后件真。也就是說(shuō)，一個(gè)必要條件假言命題，當(dāng)其前件假時(shí)，后件不能為真；當(dāng)其后件真時(shí)，前件不能為假。但當(dāng)其前件真時(shí)，后件的真假則不能確定；當(dāng)其后件假時(shí)，前件的真假也不能確定。因此，在運(yùn)用必要條件假言推理時(shí)，須遵守以下規(guī)則：1．否定前件就要否定后件。2．肯定后件就要肯定前件。3．肯定前件不能得出結(jié)論。4．否定后件不能得出結(jié)論。根據(jù)這些規(guī)則，必要條件假言推理有否定前件式和肯定后件式兩種有效形式。例：（1）申報(bào)高級(jí)職稱（2）選舉權(quán)（3）反映農(nóng)村生活的好作品（4）翻譯英文著作運(yùn)用必要條件假言推理時(shí)，不能從肯定假言前提的前件或否定其后件推出結(jié)論，否則就會(huì)導(dǎo)致無(wú)效的推理。例：（1）高考語(yǔ)文答卷（2）錄取與分?jǐn)?shù)線（四）充分必要條件假言推理充分必要條件假言推理是以一個(gè)充分必要條件假言命題為假言前提構(gòu)成的假言推理，它是以充分必要條件假言命題的邏輯含義作為依據(jù)的。充分必要條件假言命題斷定的是其前件表示的事物情況是后件表示的事物情況的充分必要條件，即有前者必有后者，同時(shí)無(wú)前者必?zé)o后者，亦即前件真后件必真，同時(shí)前件假后件必假。按照這種含義，一個(gè)充分必要條件假言命題不能前件真而后件假，也不能前件假而后件真。也就是說(shuō)，一個(gè)充分必要條件假言命題，當(dāng)其前件真時(shí)，后件不能為假；當(dāng)其后件假時(shí)，前件不能為真；當(dāng)其前件假時(shí)，后件不能為真；當(dāng)其后件真時(shí)，前件不能為假。簡(jiǎn)言之，一個(gè)充分必要條件假言命題，其前件和后件的真假只能相同，不能相反。因此，在運(yùn)用充分必要條件假言推理時(shí)，須遵守以下規(guī)則：1．肯定前件就要肯定后件。2．否定前件就要否定后件。3．肯定后件就要肯定前件。4．否定后件就要否定前件。根據(jù)這些規(guī)則，充分必要條件假言推理有肯定前件式、否定前件式、肯定后件式和否定后件式四種有效形式。例：（1）觸犯刑律與犯罪（2）三角形三內(nèi)角相等與三邊相等運(yùn)用充分必要條件假言推理，無(wú)論是肯定假言前提的前件、否定假言前提的前件、肯定假言前提的后件還是否定假言前提的后件，都能得出結(jié)論。只要注意對(duì)前件和后件的肯定或否定保持一致（肯定前件時(shí)不要否定后件，否定前件時(shí)不要肯定后件，肯定后件時(shí)不要否定前件，否定后件時(shí)不要肯定前件）即可。四、二難推理（一）什么是二難推理二難推理是假言選言推理的一種。假言選言推理是由若干假言命題和一個(gè)選言命題（其選言支的數(shù)目與假言命題的數(shù)目相同）為前提，根據(jù)假言命題和選言命題的邏輯含義進(jìn)行的推理。其中由兩個(gè)充分條件假言命題和一個(gè)二支的（即有兩個(gè)選言支的）選言命題為前提構(gòu)成的假言選言推理，稱為二難推理。這種推理之所以被稱為二難推理，是因?yàn)樗３Ａ钊嗣媾R兩種選擇，而無(wú)論做出哪種選擇，都會(huì)引出對(duì)自己不利的結(jié)果，從而陷入進(jìn)退兩難的境地。例：上帝能不能造出一塊自己舉不起的石頭二難推理常使人陷入進(jìn)退兩難的境地，這只是就一部分二難推理而言的。實(shí)際上并不是所有二難推理都使人進(jìn)退兩難。（二）二難推理的形式與規(guī)則二難推理有四種有效形式：1．簡(jiǎn)單構(gòu)成式兩個(gè)假言前提前件不同、后件相同，選言前提的兩個(gè)選言支分別肯定兩個(gè)假言前提的前件，結(jié)論肯定兩個(gè)假言前提共同的后件，這樣的二難推理形式稱為簡(jiǎn)單構(gòu)成式。例：（1）毛澤東《論人民民主專政》（2）松贊干布巧答文成公主（3）一部不可不讀的小說(shuō)2．簡(jiǎn)單破壞式兩個(gè)假言前提前件相同、后件不同，選言前提的兩個(gè)選言支分別否定兩個(gè)假言前提的后件，結(jié)論否定兩個(gè)假言前提共同的前件，這樣的二難推理形式稱為簡(jiǎn)單破壞式。例：（1）缺水或者缺肥的花（2）正確的省略推理3．復(fù)雜構(gòu)成式兩個(gè)假言前提前、后件均不相同，選言前提的兩個(gè)選言支分別肯定兩個(gè)假言前提的前件，做結(jié)論的選言命題的兩個(gè)選言支分別肯定兩個(gè)假言前提的后件，這樣的二難推理形式稱為復(fù)雜構(gòu)成式。例：（1）寄征衣（2）農(nóng)民與皇帝（3）宰相劉羅鍋（4）大宋提刑官4．復(fù)雜破壞式兩個(gè)假言前提前、后件均不相同，選言前提的兩個(gè)選言支分別否定兩個(gè)假言前提的后件，做結(jié)論的選言命題的兩個(gè)選言支分別否定兩個(gè)假言前提的前件，這樣的二難推理形式稱為復(fù)雜破壞式。例：勇氣和智慧對(duì)二難推理，我們可制定以下規(guī)則：1．肯定前件就要肯定后件。2．否定后件就要否定前件。3．否定前件不能得出結(jié)論。4．肯定后件不能得出結(jié)論。這些規(guī)則在表述上與充分條件假言推理的規(guī)則相同，但含義有所不同。二難推理的規(guī)則中的肯定或否定，指的是選言前提的兩個(gè)選言支分別對(duì)兩個(gè)假言前提的前件或后件的肯定或否定，以及結(jié)論（或其兩個(gè)選言支）對(duì)兩個(gè)假言前提的后件或前件的肯定或否定。（三）破斥錯(cuò)誤的或不恰當(dāng)?shù)亩y推理的方法二難推理是一種有力的論辯武器，它常常可以使人陷入進(jìn)退兩難的境地。但是，如果一個(gè)二難推理是錯(cuò)誤的、有缺陷的或有破綻的，則是可以加以破斥的。破斥的方法有三種：1．指出其形式無(wú)效。2．指出其前提不真實(shí)。例：（1）阿馬火燒圖書館（2）走投無(wú)路的老漢3．構(gòu)造一個(gè)相反的二難推理。（1）半費(fèi)之訟（2）青年演說(shuō)家錯(cuò)誤的、有缺陷的或有破綻的二難推理是可以破斥的，但如果一個(gè)二難推理沒(méi)有任何錯(cuò)誤、缺陷或破綻，就無(wú)法破斥了。面對(duì)這樣的二難推理，人們不得不做出選擇，當(dāng)然選擇的原則是兩害相權(quán)取其輕。例：三打白骨精二難推理只是假言選言推理的一種。假言選言推理的假言前提不一定是充分條件假言命題，也不一定只有兩個(gè)。比如，由三個(gè)充分條件假言命題和一個(gè)三支的選言命題就可構(gòu)成三難推理。例：阿凡提講道五、復(fù)合命題的較復(fù)雜的推理上面介紹了各種常用的復(fù)合命題推理，這些推理各有自己不同的特點(diǎn)。在實(shí)際思維活動(dòng)中，這些推理可以結(jié)合起來(lái)運(yùn)用，形成較復(fù)雜的推理過(guò)程。將各種復(fù)合命題推理結(jié)合起來(lái)運(yùn)用，不但能解決許多較復(fù)雜的認(rèn)識(shí)問(wèn)題，以滿足實(shí)際需要，而且也是一種很好的思維訓(xùn)練。下面我們就來(lái)談?wù)劸C合運(yùn)用各種復(fù)合命題推理的一般方法。這些方法主要包括：（一）直接推導(dǎo)法直接推導(dǎo)法是僅依靠已知前提來(lái)推導(dǎo)出某個(gè)命題的方法，即從已知前提出發(fā)，運(yùn)用有關(guān)的推理知識(shí)，一步一步地進(jìn)行推導(dǎo)，直至推出所需要的結(jié)論。例：公安人員審理一件盜竊案?，F(xiàn)已查明：（1）甲或乙是盜竊犯；（2）如果甲是盜竊犯，則作案時(shí)間不會(huì)發(fā)生在午夜前；（3）如果乙的證詞正確，則在午夜時(shí)屋里燈光未滅；（4）只有作案時(shí)間發(fā)生在午夜前，乙的證詞才不正確；（5）在午夜時(shí)屋里燈光滅了。請(qǐng)問(wèn)：誰(shuí)是盜竊犯？（二）推翻假設(shè)法推翻假設(shè)法是通過(guò)提出和推翻某個(gè)假設(shè)來(lái)確立某個(gè)命題的方法，即先提出一個(gè)假設(shè)，再?gòu)倪@個(gè)假設(shè)和已知前提出發(fā)，運(yùn)用有關(guān)的推理知識(shí)進(jìn)行推導(dǎo)，直至推出矛盾，從而推翻假設(shè)，得出與假設(shè)相反的結(jié)論。為了使推翻假設(shè)法的推導(dǎo)過(guò)程具有嚴(yán)格性，我們先引入一個(gè)規(guī)則，即反證規(guī)則。反證規(guī)則是通過(guò)從一個(gè)命題的負(fù)命題推出矛盾來(lái)確立該命題的推理規(guī)則。這個(gè)規(guī)則可以表述為：如果廠,「A|—B人「B,貝忙|—A。這里的廠表示任一有窮的命題形式集（允許是空集），A和B分別表示任一命題形式（包括命題變項(xiàng)，我們可以把命題變項(xiàng)也看作是命題形式）。其意思是：如果從一個(gè)命題形式集和命題形式「A可推出矛盾（BA「B）,則從該命題形式集就可推出A。這里的命題形式集廠可以由一個(gè)、兩個(gè)或兩個(gè)以上命題形式組成，也可以是不含任何命題形式的空集。當(dāng)廠為空集時(shí)，實(shí)際上是說(shuō)，如果從命題形式「A可推出矛盾，則A可無(wú)前提地推出，即A是一個(gè)其值必為真的命題形式。運(yùn)用反證規(guī)則的結(jié)果是推翻了「A,而確立了A,這等于消去了「A前面的否定詞。所以，反證規(guī)則也稱為否定消去規(guī)則。反證規(guī)則看似復(fù)雜，運(yùn)用起來(lái)并不復(fù)雜。在日常思維、科學(xué)研究和論辯活動(dòng)中，人們常運(yùn)用反證法進(jìn)行證明，即先假設(shè)要證明的命題為假，然后從這個(gè)假設(shè)出發(fā)，再依據(jù)若干已知真實(shí)的命題，推出矛盾，從而推翻假設(shè)，使要證明的命題得以確立。反證法實(shí)際上就是對(duì)反證規(guī)則的運(yùn)用。在這里，人們要證明的命題即是反證規(guī)則中的A，A為假的假設(shè)即「A,作為推理依據(jù)的若干已知真實(shí)的命題即幾例：甲、乙、丙三個(gè)球隊(duì)參加了某次足球賽，并被分在同一個(gè)小組?，F(xiàn)已知：（1）如果甲隊(duì)不能出線或乙隊(duì)不能出線，則丙隊(duì)就能出線；（2）只有丙隊(duì)不能出線，甲隊(duì)才不能出線。請(qǐng)問(wèn)：甲隊(duì)能否出線？在運(yùn)用推翻假設(shè)法進(jìn)行推導(dǎo)時(shí)，除了可依據(jù)反證規(guī)則，還可以依據(jù)歸謬規(guī)則。歸謬規(guī)則是一個(gè)與反證規(guī)則相近的規(guī)則，它是通過(guò)從一個(gè)命題推出矛盾來(lái)確立該命題的負(fù)命題的推理規(guī)則。這個(gè)規(guī)則可以表述為：如果廠,A|—BA「B，貝忙|一A。這里的廠仍表示任一有窮的命題形式集（允許是空集），A和B仍分別表示任一命題形式。其意思是：如果從一個(gè)命題形式集和命題形式A可推出矛盾（BA「B），則從該命題形式集就可推出「A。與反證規(guī)則不同的是，運(yùn)用歸謬規(guī)則的結(jié)果是推翻了A，而確立了「A,這等于引入了「A前面的否定詞。所以，歸謬規(guī)則也稱為否定引入規(guī)則。歸謬規(guī)則雖與反證規(guī)則相近，卻具有不同作用。在日常思維、科學(xué)研究和論辯活動(dòng)中，人們常運(yùn)用歸謬法進(jìn)行反駁，即先假設(shè)要反駁的命題為真，然后從這個(gè)假設(shè)出發(fā)，再依據(jù)若干已知真實(shí)的命題，推出矛盾，從而推翻假設(shè)，使要反駁的命題被否定。歸謬法實(shí)際上就是對(duì)歸謬規(guī)則的運(yùn)用。在這里，人們要反駁的命題即是歸謬規(guī)則中的A,作為推理依據(jù)的若干已知真實(shí)的命題即r,運(yùn)用歸謬法的結(jié)果是A被否定，即得到「A。需要說(shuō)明的是，在已有反證規(guī)則的情況下，歸謬規(guī)則并不是必需的。凡在運(yùn)用了歸謬規(guī)則的地方，都可以改用反證規(guī)則。（三）條件證明法條件證明法是為推導(dǎo)出一個(gè)假言命題而采用的方法。運(yùn)用這種方法，也要先提出一個(gè)假設(shè)，然后再?gòu)倪@個(gè)假設(shè)和已知前提出發(fā)，運(yùn)用有關(guān)的推理知識(shí)進(jìn)行推導(dǎo)，直至推出某個(gè)命題，最后以假設(shè)為前件，以推出的那個(gè)命題為后件，構(gòu)成一個(gè)充分條件假言命題。作為條件證明法依據(jù)的是條件證明規(guī)則。這個(gè)規(guī)則可以表述為：如果r,A|—B，則口—AtB。這里對(duì)廠、A和B的解釋同反證規(guī)則和歸謬規(guī)則。這個(gè)規(guī)則的意思是，如果從一個(gè)命題形式集和命題形式A可推出B,則從該命題形式集就可推出AtB。這里的命題形式集廠允許是空集，當(dāng)廠是空集時(shí)，AtB可無(wú)前提地推出，即AtB是一個(gè)其值必為真的命題形式。運(yùn)用條件證明規(guī)則的結(jié)果是確立了蘊(yùn)涵式AtB,即在A與B之間引入了一個(gè)蘊(yùn)涵詞。所以，條件證明規(guī)則也稱為蘊(yùn)涵引入規(guī)則。例：甲、乙兩個(gè)工廠簽訂了一個(gè)經(jīng)濟(jì)合同?，F(xiàn)已知：（1）只有銀行給甲廠貸款，甲廠才能履行合同；（2）如果甲廠不能履行合同，乙廠就不能按時(shí)交貨；（3）乙廠要么按時(shí)交貨，要么會(huì)受到罰款；（4）銀行或者不給甲廠貸款，或者不給丙廠貸款；請(qǐng)問(wèn)：由以上前提能否推出“如果銀行給丙廠貸款，那么乙廠就會(huì)受到罰款”？第三節(jié)真值表及簡(jiǎn)化真值表方法我們已了解了各種復(fù)合命題和常用的幾種復(fù)合命題推理。邏輯學(xué)研究復(fù)合命題，關(guān)心的是它們的邏輯含義和由此決定的它們的真假值，以及它們相互之間的真假值關(guān)系；邏輯學(xué)研究復(fù)合命題推理，關(guān)心的則是推理的有效性。無(wú)論是復(fù)合命題，還是復(fù)合命題推理，都是形式繁多。面臨著紛繁復(fù)雜的復(fù)合命題形式和復(fù)合命題推理形式，人們希望找到一種能刻畫復(fù)合命題形式的含義，判定復(fù)合命題形式的真假值，判定復(fù)合命題形式之間的真假值關(guān)系，判定復(fù)合命題推理形式的有效性的一般方法。真值表就提供了這樣的方法。下面我們就介紹一下真值表，然后再介紹一種建立在真值表基礎(chǔ)之上的簡(jiǎn)化真值表方法。一、真值表（一）什么是真值表真值表是數(shù)理邏輯（經(jīng)典邏輯）在研究復(fù)合命題以及復(fù)合命題推理時(shí)，用來(lái)反映復(fù)合命題形式與組成部分之間的真值關(guān)系的一種圖表。所謂真值，就是真假值。數(shù)理邏輯的經(jīng)典邏輯將復(fù)合命題形式與其組成部分之間的關(guān)系，看成是一種真值函項(xiàng)關(guān)系，即一個(gè)復(fù)合命題形式的真值完全由其組成部分的真值來(lái)決定。比如，「P的真值由p的真值決定，pAq和pVq的真值由p和q的真值決定。對(duì)于p的每一個(gè)取值，「P都有一個(gè)確定的值與之對(duì)應(yīng)；對(duì)于p和q的每一組取值，pAq和pVq都有一個(gè)確定的值與之對(duì)應(yīng)。這種關(guān)系類似于數(shù)學(xué)上的函數(shù)關(guān)系，不過(guò)不是從數(shù)值到數(shù)值的函數(shù)關(guān)系，而是從真值到真值的函數(shù)關(guān)系，因而稱作真值函數(shù)或真值函項(xiàng)。將負(fù)命題、聯(lián)言命題和選言命題與其支命題之間的關(guān)系看成真值函項(xiàng)關(guān)系，是符合直觀的。但假言命題則不同。從直觀上說(shuō)，假言命題斷定的并不是其前后件本身的真假，因而假言命題的真假也就不能簡(jiǎn)單地由其前后件的真假?zèng)Q定。不過(guò)數(shù)理邏輯的經(jīng)典邏輯卻將假言命題與其前后件之間的關(guān)系也同樣看成一種真值函項(xiàng)關(guān)系。于是，真值函項(xiàng)理論便涵蓋了所有的復(fù)合命題形式。在數(shù)理邏輯中，用命題變項(xiàng)和聯(lián)結(jié)詞符號(hào)組成的復(fù)合命題形式，如「p、pAq、pVq、pTq、p^q等等，都是表達(dá)真值函項(xiàng)的，常被稱為真值形式。而真值形式中的聯(lián)結(jié)詞可稱為真值聯(lián)結(jié)詞。如果把我們已學(xué)過(guò)的七種聯(lián)結(jié)詞「、A、V、V、T、?和㈠都看作真值聯(lián)結(jié)詞，則真值形式「p、pAq、pVq、pVq、pTq、pjq和poq與其所含變項(xiàng)之間的真值關(guān)系可分別用真值表表示如下（用T表示真，用F表示假）：（略）以上真值表可稱為基本真值表。它們實(shí)際上起著定義真值聯(lián)結(jié)詞的作用。也就是說(shuō)，如果把基本真值表中的命題變項(xiàng)p或q用任一真值形式代替，原有的真假值關(guān)系仍然成立。因此，在基本真值表的基礎(chǔ)上，我們就可以做出任意一個(gè)較復(fù)雜的真值形式的真值表。下面我們來(lái)談?wù)勛龀鋈我徽嬷敌问降恼嬷当淼姆椒?。（二）真值表的作法要作出任一真值形式的真值表，須按照下列步驟：1．列出真值形式中所含命題變項(xiàng)的所有可能的取值。真值形式的真值是由其組成部分的真值決定的，最終是由其所含命題變項(xiàng)的真值決定的。要完整地反映出真值形式與其組成部分之間的真值關(guān)系，就必須考慮到命題變項(xiàng)的一切可能的取值情況。為了把命題變項(xiàng)的所有可能的取值情況既無(wú)遺漏，又不重復(fù)地列舉出來(lái)，并排列整齊，以便于比較，我們可首先確定命題變項(xiàng)總共有幾種可能的取值，即真值表除“表頭”以外的部分有多少行（為敘述上的方便，以下我們把真值表除“表頭”以外的部分有多少行，稱為真值表的行數(shù)）。如果用n表示一個(gè)真值形式中所含命題變項(xiàng)的個(gè)數(shù)，則我們可以有下述計(jì)算公式：真值表的行數(shù)=2n按此公式計(jì)算，當(dāng)一個(gè)命題形式中只含有一個(gè)命題變項(xiàng)時(shí)，真值表的行數(shù)為21即2行；當(dāng)一個(gè)命題形式中含有兩個(gè)命題變項(xiàng)時(shí)，真值表的行數(shù)為22即4行；當(dāng)一個(gè)命題形式中含有三個(gè)命題變項(xiàng)時(shí)，真值表的行數(shù)為23即8行；其余依此類推。在確定了真值表的行數(shù)以后，我們可以從左到右一豎列一豎列地列出命題變項(xiàng)的各種可能的取值：在第一列的前一半寫“真”（可用T表示），后一半寫假（可用F表示）；在第二列的第一個(gè)1/4部分寫“真”，第二個(gè)1/4部分寫“假”，第三個(gè)1/4部分寫“真”，第四個(gè)1/4部分寫“假”；在第三列的第一個(gè)1/8部分寫“真”，第二個(gè)1/8部分寫“假”，第三個(gè)1/8部分寫“真”……；其余依此類推。2．根據(jù)命題變項(xiàng)的真值列出真值形式的真值。一個(gè)較復(fù)雜的真值形式不是僅由一個(gè)真值聯(lián)結(jié)詞聯(lián)結(jié)一個(gè)或兩個(gè)命題變項(xiàng)構(gòu)成，而是還包含著其他真值形式，其真值只有在先確定了作為其組成部分的其他真值形式的真值后才能確定。因此，確定一個(gè)真值形式的真值，應(yīng)按照從命題變項(xiàng)到最簡(jiǎn)單的真值形式，再?gòu)淖詈?jiǎn)單的真值形式到較復(fù)雜的真值形式，再?gòu)妮^復(fù)雜的真值形式到更復(fù)雜的真值形式的順序，逐步來(lái)完成。這個(gè)過(guò)程實(shí)際上是一個(gè)由簡(jiǎn)單到復(fù)雜、由部分到整體的計(jì)算（邏輯計(jì)算）過(guò)程。例：（1）（2）（pVq）T「r(三)真值表的應(yīng)用真值表主要有以下作用：1．運(yùn)用真值表，可以根據(jù)命題變項(xiàng)的真值，確定一個(gè)真值形式的真值。任何一個(gè)真值形式的真值，都可以按照真值表所反映的真值關(guān)系，由命題變項(xiàng)的真值來(lái)確定。例：當(dāng)p和q的值都為真時(shí)，根據(jù)真值表，pAq的值為真。p的值為真，而q的值為假時(shí)，根據(jù)真值表，pTq的值為假。(3)p和q的值都為假，而r的值為真時(shí)，根據(jù)真值表，「pA(qvr)的值為真。2．運(yùn)用真值表，可以判定真值形式的一些特殊性質(zhì)。有些真值形式無(wú)論其中的命題變項(xiàng)取何值，其值總為真，這樣的真值形式稱為永真式，或重言式。一個(gè)真值形式是不是永真式，可以通過(guò)真值表判定：如果在真值表中，該真值形式的值每一行均為真，則該真值形式即為永真式。永真式常常體現(xiàn)著一定的邏輯規(guī)律。例：(1)pv「p(2)(pAq)Tp(3)pv(pTq)(4)(pT「q)Aq也有些真值形式無(wú)論其中的命題變項(xiàng)取何值，其值總為假，這樣的真值形式稱為永假式，或矛盾式。一個(gè)真值形式是不是永假式，也可以通過(guò)真值表判定：如果在真值表中，該真值形式的值每一行均為假，則該真值形式即為永假式。永假式體現(xiàn)著一定的邏輯謬誤。例：(1)pA「p(2)「(pv「q)Ap(3)pA「(pAq)3．運(yùn)用真值表，可以判定兩個(gè)真值形式之間的真假值關(guān)系。兩個(gè)真值形式之間是否有等值關(guān)系或者矛盾關(guān)系，兩個(gè)真值形式的值能否同真或能否同假等，都可以運(yùn)用真值表來(lái)判定。當(dāng)我們做出兩個(gè)真值形式的真值表后，如果它們的每一行對(duì)應(yīng)的值均相同，則它們具有等值關(guān)系；如果它們的每一行對(duì)應(yīng)的值均相反，則它們具有矛盾關(guān)系。判定是否具有等值關(guān)系例：(1)pTq和「pvq(2)pA^q和「(「pvq)(3)「(pAq)和「pA「q(4)pT「q和qT「p(5)pv(^pAq)和「pTq判定是否具有矛盾關(guān)系例：(1)pv「q和「pAq(2)pTq和pT「q判定能否同真或能否同假例：(1)pAq和「pAq(2)pTq和pv「q4．運(yùn)用真值表，可以判定一個(gè)復(fù)合命題推理形式是否有效。要運(yùn)用真值表判定一個(gè)復(fù)合命題推理形式是否有效，可按照下列步驟：(1)如果該推理形式只有一個(gè)前提，就以該推理形式的前提為前件，結(jié)論為后件，構(gòu)成一個(gè)蘊(yùn)涵式；如果該推理形式有不止一個(gè)前提，就先將該推理形式的前提依次用人聯(lián)結(jié)起來(lái)構(gòu)成一個(gè)合取式，再以這個(gè)合取式為前件，以結(jié)論為后件，構(gòu)成一個(gè)蘊(yùn)涵式。(2)做出上述蘊(yùn)涵式的真值表，并檢查該蘊(yùn)涵式是不是永真式。如果該蘊(yùn)涵式是永真式，則要判定的推理形式有效；如果該蘊(yùn)涵式不是永真式，則要判定的推理形式無(wú)效。為什么如果一個(gè)蘊(yùn)涵式是永真式，則相應(yīng)的推理形式就是有效的呢？因?yàn)槿绻粋€(gè)蘊(yùn)涵式是永真式，就說(shuō)明它不可能前件真而后件假(按照真值表，當(dāng)一個(gè)蘊(yùn)涵式前件真而后件假時(shí)，該蘊(yùn)涵式的值便為假)，也就是說(shuō)，相應(yīng)的推理形式不可能出現(xiàn)前提真而結(jié)論假的情況。反之，如果一個(gè)蘊(yùn)涵式不是永真式，就說(shuō)明它有可能前件真而后件假，也就是說(shuō)，相應(yīng)的推理形式有可能出現(xiàn)前提真而結(jié)論假的情況。例：(1)并非小李買了股票而沒(méi)買基金；小李沒(méi)買基金；所以，小李沒(méi)買股票。(2)老趙會(huì)下象棋，或者會(huì)下圍棋；所以，并非老趙既會(huì)下象棋，也會(huì)下圍棋。5．運(yùn)用真值表，可解決一些比較復(fù)雜的邏輯問(wèn)題例1：某次數(shù)學(xué)競(jìng)賽初賽結(jié)束后，參賽者甲和乙在一起議論。甲說(shuō)：“如果你不能進(jìn)入復(fù)賽，那么我也不能進(jìn)入復(fù)賽。”乙說(shuō)：“我肯定能進(jìn)入復(fù)賽。”事實(shí)證明，甲的判斷和乙的判斷之中有且只有一個(gè)是正確的。請(qǐng)問(wèn)：甲和乙是否進(jìn)入了復(fù)賽？（用p表示“乙進(jìn)入了復(fù)賽"，用q表示“甲進(jìn)入了復(fù)賽”）例2：某班推舉校級(jí)三好生，趙軍和周玲被定為候選人。名單上報(bào)后，甲、乙、丙三個(gè)學(xué)生在一起