邏輯學(xué)導(dǎo)論練習(xí)題參考答案

1、文檔供參考，可復(fù)制、編制，期待您的好評(píng)與關(guān)注！ 邏輯學(xué)導(dǎo)論（2）第一章 習(xí)題解答1古希臘有一位智者叫普羅泰哥拉【答案】：D【解析】：題干中普羅泰哥拉的推理形式為：(pq)(rq)(pr)Þq選項(xiàng)和中的推理形式也都是如此，而選項(xiàng)中的推理形式則是：(pq)(ØpØq)Øq ÞØ p選項(xiàng)中的推理形式是： (ØpØq)q Þ p2. 只要呆在學(xué)術(shù)界【答案】：C【解析】：題干中，學(xué)院生活與日常生活的差別在于“只有沉浸在日常生活中，才能靠直覺(jué)把握生活的種種情感”。這是導(dǎo)出論題“小說(shuō)家呆在學(xué)術(shù)界不能變偉大”的直接依據(jù)。

2、而這則意味著對(duì)日常生活中情感的直覺(jué)把握乃是小說(shuō)家成就其偉大的一個(gè)必要條件，沒(méi)有前者一定沒(méi)有后者。故選C。其余各選項(xiàng)均非原論證所依賴的假設(shè)。例如，A項(xiàng)所支持的論題實(shí)際上是呆在學(xué)術(shù)界有助于小說(shuō)家變得偉大，與原論題剛好相反。3上個(gè)世紀(jì)60年代初以來(lái)【答案】：C【解析】：假設(shè)C項(xiàng)的斷定不成立，即假設(shè)上個(gè)世紀(jì)60年代造成新加坡人死亡的那些主要疾病，到本世紀(jì)，在該國(guó)的發(fā)病率沒(méi)有實(shí)質(zhì)性的降低，并且對(duì)這些疾病的醫(yī)治水平也沒(méi)有實(shí)質(zhì)性的提高，那么，新加坡的人均預(yù)期壽命不可能不斷上升，更難以在本世紀(jì)初成為世界之最。這說(shuō)明，如果題干的斷定為真，則C項(xiàng)為真，即從題干可以推出C項(xiàng)。其余各項(xiàng)均不能從題干推出。例如，A項(xiàng)不能

3、從題干推出。因?yàn)楸M管新加坡的人均預(yù)期壽命是世界之最，但心血管病仍完全可能是造成目前新加坡人死亡的主要?dú)⑹帧?地球上之所以有生命出現(xiàn)【答案】：C【解析】：題干中的論證過(guò)程即：因?yàn)槠渌乔虿豢赡芡瑫r(shí)具備地球上生命形式賴以存在的兩個(gè)必要條件，所以其他星球不可能存在與地球上一樣的生命。其中隱含著這樣一個(gè)前提，即C：在其他星球上的生命形式需要像在地球上的生命形式一樣的生存條件。其余選項(xiàng)均非原論證所必須的前提條件。例如，A項(xiàng)中“惟一條件”的說(shuō)法顯然與題干中“至少具備了以下兩個(gè)條件”的說(shuō)法相悖，而B(niǎo)項(xiàng)的含義則與原論證的結(jié)論相同。5對(duì)于絕大多數(shù)人來(lái)說(shuō)，大學(xué)【答案】：E【解析】：題干中談到讀大學(xué)是浪費(fèi)錢，并舉出

4、一年掙10萬(wàn)元的人中多數(shù)沒(méi)有大學(xué)文憑，進(jìn)而勸人們最好不要去讀大學(xué)，可見(jiàn)在說(shuō)話者的心目中，物質(zhì)方面的成就要比學(xué)識(shí)更重要，即有信念。另外，題干中還談到在大學(xué)里學(xué)到的一切在工作中皆不實(shí)用，想多掙錢的人上大學(xué)是找錯(cuò)了門(mén)，可見(jiàn)在說(shuō)話者的心目中，衡量讀大學(xué)有無(wú)價(jià)值的唯一標(biāo)準(zhǔn)，就是看它能不能教會(huì)人們多掙錢，即有信念。此外，信念和在題干中皆找不到依據(jù)，顯然皆不為說(shuō)話者所具備。故選E。6-1. 如果上述斷定為真，且錢選修歷史【答案】：A【解析】：根據(jù)已知條件，初中生王選修物理，則必有一高中生選修物理。但三位高中生中，已知錢選修歷史，故不能選修物理；趙選修的是文學(xué)或經(jīng)濟(jì)，故亦不能選修物理。由此可知，另一位高中生即

5、孫必定選修物理。即應(yīng)選A。其余各項(xiàng)均不能必然推知為真。例如，B項(xiàng)斷定趙選修文學(xué)，然而沒(méi)有任何條件可以表明趙不能選修經(jīng)濟(jì)。6-2. 如果題干的斷定為真，且有人選修經(jīng)濟(jì)【答案】：B【解析】：根據(jù)已知條件，假設(shè)錢和孫兩位高中生都選修經(jīng)濟(jì)，則二人皆不能選修物理。又因?yàn)榱硪晃桓咧猩w選修的是文學(xué)或經(jīng)濟(jì)，故亦不能選修物理。這樣，三位高中生皆不能選修物理。但是因?yàn)槌踔型踹x修了物理，根據(jù)已知條件，又必有一高中生選修物理。于是出現(xiàn)矛盾。說(shuō)明假定不能成立，即錢和孫兩位高中生不可能同時(shí)選修經(jīng)濟(jì)。其余各項(xiàng)所述的情況均有可能存在。例如，A項(xiàng)斷定高中生趙和錢同時(shí)選修經(jīng)濟(jì)，此時(shí)只要令高中生孫選修物理，初中生張和李皆選修經(jīng)濟(jì)

6、，即符合所有已知條件。7新近被介紹的DNA酶解圖譜是一種生化程序【答案】：C【解析】：假定C為真，則存在各種不同的亞族群體，且每一群體中所有個(gè)體的DNA圖譜完全相同。這將從根本上否定題干中所說(shuō)的前提，從而使題干中的觀點(diǎn)失去必要的支持。其余各項(xiàng)即使為真，也均不能構(gòu)成對(duì)題干中觀點(diǎn)的更嚴(yán)重質(zhì)疑。例如，E項(xiàng)為真時(shí)，至多表明兩個(gè)人有可能具有相同或相似的DNA圖譜，但由于不具有C中所述情況的普遍性，故不能比C更為有力地否定題干中所說(shuō)的前提，進(jìn)而反駁題干中所述的觀點(diǎn)。8家用電爐有三個(gè)部件：加熱器【答案】：D【解析】：根據(jù)題干的條件，一個(gè)電爐，如果其加熱的溫度超出了溫度旋鈕的最高讀數(shù)，則說(shuō)明當(dāng)溫度達(dá)到恒溫器的

7、溫度旋鈕所設(shè)定的讀數(shù)時(shí)，加熱器并未自動(dòng)關(guān)閉，即恒溫器出現(xiàn)了故障；同時(shí)也說(shuō)明當(dāng)溫度超出溫度旋鈕的最高讀數(shù)時(shí)，加熱器并未自動(dòng)關(guān)閉，即安全器出現(xiàn)了故障。也就是說(shuō)，一個(gè)電爐，如果其加熱的溫度超出了溫度旋鈕的最高讀數(shù)，則它的恒溫器和安全器一定都出現(xiàn)了故障。因此，D項(xiàng)作為題干的結(jié)論成立。因?yàn)镈項(xiàng)成立，所以E項(xiàng)不成立。A項(xiàng)顯然不成立。例如在加熱器不工作的情況下，恒溫器和安全器即使都出現(xiàn)故障，電爐的溫度也不會(huì)超出溫度旋鈕的最高讀數(shù)。B項(xiàng)不成立。因?yàn)橐粋€(gè)電爐，如果其加熱的溫度超出了溫度旋鈕的設(shè)定讀數(shù)但加熱器未關(guān)閉，只能說(shuō)明恒溫器出現(xiàn)故障，不能說(shuō)明安全器出現(xiàn)故障。C項(xiàng)不成立。因?yàn)橐粋€(gè)電爐加熱器自動(dòng)關(guān)閉，可能是恒溫

8、器出現(xiàn)故障，但安全器工作正常。9目前全球的糧食年產(chǎn)量比滿足全球人口的【答案】：A【解析】：題干中基于目前全球的糧食年產(chǎn)量比滿足全球人口的最低糧食需求略高的事實(shí)，就斷定將來(lái)不可能因糧食短缺而引發(fā)饑餓危機(jī)。這表明說(shuō)話者相信將來(lái)會(huì)和目前的情況一樣，不會(huì)發(fā)生糧食短缺現(xiàn)象。故選A。其余各項(xiàng)均不符合題干。例如，B項(xiàng)斷定將來(lái)不會(huì)有饑餓危機(jī)，但是題干中所說(shuō)的卻是饑餓危機(jī)的根源在于分配不公而不是生產(chǎn)不夠，顯然不相符合。10趙甲與他的武林宿敵吳方狹路相逢【答案】：C【解析】：I限定了趙甲下一招只能使出三般武藝之一。但是根據(jù)II和IV，可知其不能使出狐步鴛鴦腿。再根據(jù)III，可知其必須使出九曲連環(huán)棍。故選C。其余選

9、項(xiàng)皆不正確。例如，A項(xiàng)用狐步鴛鴦腿，則根據(jù)情形II，八卦勾魂刀會(huì)被吳方打掉，與情形IV沖突。B項(xiàng)使八卦勾魂刀，即不用狐步鴛鴦腿，則根據(jù)情形III，又必須揮九曲連環(huán)棍，同樣存在沖突。D項(xiàng)和E項(xiàng)含義相同，均與情形三沖突，即或者用狐步鴛鴦腿，或者不用狐步鴛鴦腿（從而必須揮九曲連環(huán)棍），二者必居其一，不可能狐步鴛鴦腿和九曲連環(huán)棍都不用，當(dāng)然更不能三般武藝一樣也不使。邏輯學(xué)導(dǎo)論（2）第二章 習(xí)題解答一、請(qǐng)將下述命題符號(hào)化，如果是復(fù)合命題，請(qǐng)根據(jù)其中所含的主聯(lián)結(jié)詞，指出是何種復(fù)合命題：1 陽(yáng)光和紅霞是好朋友?！窘狻浚簆。這是一個(gè)簡(jiǎn)單命題，應(yīng)作為一個(gè)整體看待。2貝多芬和莫扎特是偉大的作曲家。【解】：設(shè)p表示

10、“貝多芬是偉大的作曲家”， q表示“莫扎特是偉大的作曲家”，則上述命題可表示為：pq。這是一個(gè)聯(lián)言命題。3說(shuō)西紅柿是蔬菜是假的?！窘狻浚涸O(shè)p表示“西紅柿是蔬菜”，則上述命題可表示為：Øp。這是一個(gè)負(fù)命題。4大連隊(duì)將獲得今年的甲A冠軍，否則，冠軍就是國(guó)安隊(duì)。【解】：設(shè)p表示“大連隊(duì)將獲得今年的甲A冠軍”， q表示“國(guó)安隊(duì)將獲得今年的甲A冠軍”，則上述命題可表示為：pq。這是一個(gè)選言命題。5盡管并非所有的人都是自私的，但仍然有不少人很自私。【解】：設(shè)p表示“所有的人都是自私的”， q表示“有不少人很自私”，則上述命題可表示為：Øpq。這是一個(gè)聯(lián)言命題。6如果我們?cè)俨唤档蜕剩?/p>

11、那我們就會(huì)連坐下來(lái)的空間都沒(méi)有了?！窘狻浚涸O(shè)p表示“我們?cè)俨唤档蜕省保?q表示“我們連坐下來(lái)的空間都沒(méi)有了”，則上述命題可表示為：pq。這是一個(gè)假言命題。7即使我們提高稅收，財(cái)政赤字仍不會(huì)減少，除非我們削減政府開(kāi)支。【解】：設(shè)p表示“我們提高稅收”， q表示“財(cái)政赤字會(huì)減少”，r表示“我們削減政府開(kāi)支”，則上述命題可表示為：ØrØ(pq)。這是一個(gè)假言命題。8錢不是萬(wàn)能的，但沒(méi)有錢是萬(wàn)萬(wàn)不行的。【解】：設(shè)p表示“錢不是萬(wàn)能的”， q表示“沒(méi)有錢是萬(wàn)萬(wàn)不行的”，則上述命題可表示為：pq。這是一個(gè)聯(lián)言命題。9如果你是草，羊會(huì)站在你的身上，踐踏你，啃食你，不管你是它的親人還是

12、朋友；如果你是參天大樹(shù)，羊會(huì)仰望你，贊美你，無(wú)論你是殘疾還是孩子?！窘狻浚涸O(shè)p1表示“你是草”， q1表示“羊會(huì)站在你的身上踐踏你”，r1表示“羊會(huì)站在你的身上啃食你”，s1表示“你是它的親人”，t1表示“你是它的朋友”，則上述命題的前半部分可表示為：p1Ø(s1t1Øq1Ør1)。設(shè)p2表示“你是參天大樹(shù)”， q2表示“羊會(huì)仰望你”，r2表示“羊會(huì)贊美你”，s2表示“你是殘疾”，t2表示“你是孩子”，則上述命題的后半部分可表示為：p2Ø(s2t2Øq2Ør2)。整個(gè)命題可表示為：（p1Ø(s1t1Øq1Ø

13、;r1)）（p2Ø(s2t2Øq2Ør2)）這是一個(gè)聯(lián)言命題。10某液體是酸類，當(dāng)且僅當(dāng)，它讓石蕊試紙變紅。【解】：設(shè)p表示“某液體是酸類”， q表示“該液體讓石蕊試紙變紅”，則上述命題可表示為：q«p。這是一個(gè)充分必要條件假言命題。11既然不存在完美無(wú)缺的事情，我就不應(yīng)該因我的過(guò)失而受到責(zé)備?！窘狻浚涸O(shè)p表示“不存在完美無(wú)缺的事情”， q表示“我不應(yīng)該因我的過(guò)失而受到責(zé)備”，則上述命題可表示為：pq。這是一個(gè)充分條件假言命題。12恐龍無(wú)法被克隆，除非科學(xué)家能夠獲悉恐龍的完整基因?！窘狻浚涸O(shè)p表示“科學(xué)家能夠獲悉恐龍的完整基因”， q表示“恐龍能被克隆”

14、，則上述命題可表示為：pq。這是一個(gè)必要條件假言命題。13如果你沒(méi)有失約，老板仍然不高興，那么或者是因?yàn)槟銢](méi)有做成那筆買賣，或者是因?yàn)槲业腻e(cuò)?！窘狻浚涸O(shè)p表示“你沒(méi)有失約”， q表示“老板不高興”，r表示“因?yàn)槟銢](méi)有做成那筆買賣”，s表示“因?yàn)槲业腻e(cuò)”，則上述命題可表示為：pqrs。這是一個(gè)充分條件假言命題。14所有可靠的論證都是有效的，并且它們有真的前提。【解】：設(shè)p表示“所有可靠的論證都是有效的”， q表示“所有可靠的論證都有真的前提”，則上述命題可表示為：pq。這是一個(gè)聯(lián)言命題。15如果我們提高稅收并且削減政府開(kāi)支，那么，除非發(fā)生大的自然災(zāi)害，財(cái)政赤字將會(huì)減少?！窘狻浚涸O(shè)p表示“我們提高

15、稅收”， q表示“我們削減政府開(kāi)支”，r表示“發(fā)生大的自然災(zāi)害”，s表示“財(cái)政赤字將會(huì)減少”，則上述命題可表示為：pq(Ørs)。這是一個(gè)充分條件假言命題。16雨、雪、風(fēng)、霜都不會(huì)阻止那位郵遞員按時(shí)投送郵件。【解】：設(shè)p表示“雨不會(huì)阻止那位郵遞員按時(shí)投送郵件”， q表示“雪不會(huì)阻止那位郵遞員按時(shí)投送郵件”，r表示“風(fēng)不會(huì)阻止那位郵遞員按時(shí)投送郵件”，s表示“霜不會(huì)阻止那位郵遞員按時(shí)投送郵件”，則上述命題可表示為：pqrs。這是一個(gè)聯(lián)言命題。17甲、乙、丙、丁至少有一人將來(lái)會(huì)成為杰出人士?！窘狻浚涸O(shè)p表示“甲將來(lái)會(huì)成為杰出人士”， q表示“乙將來(lái)會(huì)成為杰出人士”，r表示“丙將來(lái)會(huì)成為杰

16、出人士”，s表示“丁將來(lái)會(huì)成為杰出人士”，則上述命題可表示為：pqrs。這是一個(gè)相容選言命題。18聰明的人總是用別人的智慧填補(bǔ)自己的大腦，愚蠢的人總是用別人的智慧干擾自己的情緒。【解】：設(shè)p表示“聰明的人總是用別人的智慧填補(bǔ)自己的大腦”， q表示“愚蠢的人總是用別人的智慧干擾自己的情緒”，則上述命題可表示為：pq。這是一個(gè)聯(lián)言命題。二、用真值表方法去驗(yàn)證下述公式是不是重言式：1Ø(AØA) 【解】：列真值表進(jìn)行真值運(yùn)算如下：AØAAØAØ(AØA）10010101最后一列真值均為1，故原公式為重言式。2(A®ØA)

17、®ØA 【解】：列真值表進(jìn)行真值運(yùn)算如下：AØAAØA（AØA）ØA10010111最后一列真值均為1，故原公式為重言式。3ØA®(A®(B®C)【解】：列真值表進(jìn)行真值運(yùn)算如下：ABCØABCA（BC）ØA（A（BC）11101111100001101011110001110111111010101100111110001111最后一列真值均為1，故原公式為重言式。4(A®(B®C)®(A®B)®(ØC®

18、ØAD)【解】：列真值表進(jìn)行真值運(yùn)算如下：ABCD(A®(B®C)®(A®B)®(ØC®ØAD)11111111001111011110001101001110111000011100101111100011010111000010011110101100011101000111111101101101111011010110111110100101111100111111011001011110110001111111100001111111主聯(lián)結(jié)詞在所有行的真值均為1，故原公式為重言式。5A«

19、;A(A®C) 【解】：列真值表進(jìn)行真值運(yùn)算如下：ACACA（AC）A«A（AC）11111100110111000110最后一列第三、四行真值均為0，故原公式不是重言式。6(A«B)®(C«D)®(A«C)®(B«D)【解】：列真值表進(jìn)行真值運(yùn)算如下：ABCD(A«B)®(C«D)®(A«C)®(B«D)111111111111110110110011011101011110011110101011011010010100101111

20、10010101010100001110110111011101101100101010010101011110100011010000111111010001011010110001110110000001111111主聯(lián)結(jié)詞在所有行的真值均為1，故原公式為重言式。三、用歸謬賦值法判定下述公式是否重言式：1(ØA®A)®A【解】：用歸謬賦值法判定如下：（ØAA）A01000（代）（矛）1（盾）變?cè)狝的取值出現(xiàn)矛盾，故原公式為重言式。2(A®B)®(AC)®(BC) 【解】：用歸謬賦值法判定如下：（AB）（AC）（BC）01

21、01000000代1代盾矛變?cè)狝的取值出現(xiàn)矛盾，故原公式為重言式。3(A®B)®(C®D)®(AC®BD) 【解】：用歸謬賦值法判定如下：（AB）（CD）（ACBD）01010101111代1代11盾代0矛變?cè)狣的取值出現(xiàn)矛盾，故原公式為重言式。4(A®(A®C)®(A®C) 【解】：用歸謬賦值法判定如下：（A（AC）（AC）010110代11盾代1矛變?cè)狢的取值出現(xiàn)矛盾，故原公式為重言式。5(A(BC)®(AB)(AC)【解】：用歸謬賦值法判定如下：（A（BC）（AB）（AC）01011101

22、00代0代0代1盾矛變?cè)狢的取值出現(xiàn)矛盾，故原公式為重言式。6(AB)(AC)®(A(BC)【解】：用歸謬賦值法判定如下：(AB)(AC)®(A(BC)010010100代1代11盾代0矛變?cè)狢的取值出現(xiàn)矛盾，故原公式為重言式。四用樹(shù)形圖方法判定下述公式是否重言式：1AØA®(AB)C【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：Ø（AØA）（AB）C）AØAØ（AB）C）AØA由于該樹(shù)形圖只有一個(gè)閉枝，故原公式為重言式。2(A®B)®A)®A 【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：

23、6;（AB）A）A）（AB）AØAØ（AB）AAØB該樹(shù)形圖已經(jīng)終結(jié)，并且各個(gè)枝都是閉枝，故原公式為重言式。3(A®B)®(AC®B) 【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：Ø（AB）（ACB） ABØ（ACB）ACØBACØAB該樹(shù)形圖已經(jīng)終結(jié)，并且各個(gè)枝都是閉枝，故原公式為重言式。4(A®B)®(AC)«(BC) 【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：Ø（AB）（AC）«（BC）ABØ（AC）«（BC）ACØ（BC）&#

24、216;（AC）BCACØBØCØAØCBCBCØAØAØABBB該樹(shù)形圖有不能關(guān)閉的枝，故原公式不是重言式。5(AB®C)«(A®(B®C)【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：Ø（ABC）«（A（BC）ABCØ（A（BC）AØ（BC）BØCØ（ABC）A（BC）ABØ CABØ（AB）CØABCØBCØBØA該樹(shù)形圖已經(jīng)終結(jié)，并且各個(gè)枝都是閉枝，故原公式為重言式。6(

25、A«(BC)®(A«B)(A«C)【解】：依畫(huà)圖規(guī)則構(gòu)造樹(shù)形圖如下：Ø(A«(BC)®(A«B)(A«C)A«(BC)Ø(A«B)(A«C)Ø(A«B)Ø(A«C)ØAØ(BC)ØCØBABCBCAØBØABAØBØABAØBØABAØCØAC該樹(shù)形圖已經(jīng)終結(jié)，并且各個(gè)枝都是閉枝，故原公式為重言式。五在PN中

26、證明，下述公式是PN定理：1AØA【證明】：（1） Ø( AØA)假設(shè)（2） | A假設(shè)（3） | |AØA（2）+（4） | |Ø( AØA)（1）（假設(shè)引用）（5） | ØA（2）（3）（4）Ø+（6） | AØA（5）+（7） | Ø( AØA)（1）（假設(shè)引用）（8）AØA（1）（6）（7）Ø-2ØØA«A【證明】：（1） A假設(shè)（2） | ØA假設(shè)（3） | | A（1）（假設(shè)引用）（4） | | AØA（

27、2）（3）+（5） | ØØA（2）（4）Ø+（6） AØØA（1）（5）+（7） ØØA假設(shè)（8） | ØA假設(shè)（9） | | ØØA（7）（假設(shè)引用）（10）| | ØAØØA（8）（9）+（11）| A（8）（10）Ø-（12）ØØAA（7）（11）+（13）ØØA«A（6）（12）«+3Ø(AØA) 【證明】： （1） AØA假設(shè)（2） | A（1）-（3）

28、| ØA（1）-（4） Ø（AØA）（1）（2）（3）Ø+4(A®B)®(ØB®ØA)【證明】： （1） AB假設(shè)（2） | ØB假設(shè)（3） | | A假設(shè)（4） | | | B（1）（3）-（5） | | | ØB（2）（假設(shè)引用）（6） | | | BØB（4）（5）+（7） | | ØA（3）（6）Ø+（8） | ØBØA（2）（7）+（9）（AB）（ØBØA）（1）（7）+5(A®(B®C

29、)®(ØC®(B®ØA)【證明】： （1） A（BC)假設(shè)（2） | ØC假設(shè)（3） | | B假設(shè)（4） | | | A假設(shè)（5） | | | | BC（1）（4）-（6） | | | | B（3）（假設(shè)引用）（7） | | | | C（5）（6）-（8） | | | | ØC（2）（假設(shè)引用）（9） | | | | CØC（7）（8）+（10）| | | ØA（4）（9）Ø+（11）| | BØA（3）（10）+（12）| ØC(BØA)（2）（11）+（13）

30、(A(BC)(ØC(BØA)(1）(12）+6(A®B)®(B®C)®(A®C)【證明】： （1） AB假設(shè)（2） | BC假設(shè)（3） | | A假設(shè)（4） | | | B（1）（3）-（5） | | | C（2）（4）-（6） | | AC（3）（5）+（7） |（BC）（AC）（2）（6）+（8）（AB）（BC）（AC）（1）（7）+7(AB®C)®(ØCA)®ØB) 【證明】： （1） ABC假設(shè)（2） | ØCA假設(shè)（3） | | B假設(shè)（4） | | |

31、ØCA （2）（假設(shè)引用）（5） | | | A（4）-（6） | | | ØC（4）-（7） | | | AB（5）（3）+（8） | | | ABC（1）（假設(shè)引用）（9） | | | C（7）（8）-（10）| | | CØC（6）（9）+（11）| | ØB（3）（10）Ø+（12）|（ØCA）ØB（2）（11）+（13）（ABC）（ØCA）ØB）（1）（12）+8(AB)(AC)®A(BC)【證明】： （1） （AB）（AC）假設(shè)（2） | AB假設(shè)（3） | | A（2）-（4） |

32、 | B （2）-（5） | | BC（4）+（6） | | A（BC）（3）（5）+（7） |（AB）A（BC）（2）（6）+（8） | AC假設(shè)（9） | | A（8） -（10）| | C（8） -（11）| | BC（10）+（12）| | A（BC）（9）（11）+（13）|（AC）A（BC）（8）（12）+（14）| A（BC）（1）（7）（13）-（15）（AB）（AC）A（BC）（1）（14）+六在PN中證明，下述推理是有效的：1A(B®C)，Ø(CA)，ØB【證明】：（1） A（BC）前提（2） Ø（CA）前提（3） B假設(shè)（4） |

33、BC （1）-（5） | C（3）（4）-（6） | A（1）-（7） | CA（5）（6）+（8） | Ø（CA）（2）（前提引用）（9） |（CA）Ø（CA）（7）（8）+（10）ØB（3）（9）Ø+2H®K，(KL)®M，L®(H®M)【證明】：（1） HK前提（2）（KL）M前提（3） L假設(shè)（4） | H假設(shè)（5） | | K（1）（4）-（6） | | KL（5）（3）、+（7） | | M（2）（6）-（8） | HM（4）（7）+（9） L（HM）（3）（8）+3AB®C，Ø(C

34、ØA)，ØB【證明】：（1） ABC前提（2） Ø（CØA）前提（3） ØCA（2）德*摩根律（4） B假設(shè)-（5） | ØC（3）-（6） | A（3）-（7） | AB（4）（6）+（8） | C（1）（7）-（9） | CØC（5）（8）+（10）ØB（4）（9）Ø+4AB，C，AC®D，Ø(ØFB)，DF【證明】：（1） AB前提（2） C前提（3） ACD前提（4） Ø(ØFB)前提（5） FØB（4）德*摩根律（6） ØD假

35、設(shè)（7） | Ø(AC)（3）（6）DR1（8） | ØAØC（7）德*摩根律（9） | ØA（2）（8）否定肯定式（10）| B（1）（9）否定肯定式（11）| F（5）（10）否定肯定式（12）ØDF（6）（11）+（13）DF（12）蘊(yùn)析律5Ø(DC)，ØC®(A®ØB)，A«B，ØA【證明】：（1） Ø(DC)前提（2） ØC(AØB)前提（3） A«B前提（4） ØDØC（1）德*摩根律（5） Ø

36、C（4）-（6） AØB（2）（5）-（7） AØA（3）（6）RP（等值置換）（8） A假設(shè)（9） | ØA（7）（8） -（10）| AØA（8）（9） +（11）ØA（8）（10）Ø+6AB，C，AC®D，DB【證明】：（1） AB前提（2） C前提（3） ACD前提（4） ØD假設(shè)（5） | Ø(AC)（3）（4）DR1（6） | ØAØC（5）德*摩根律（7） | ØA（2）（6）否定肯定式（8） | B（1）（7）否定肯定式（9） ØDB（4）（8）+（

37、10）DB（9）蘊(yùn)析律7K®(LM®R)，RS®T，K®(M®T)【證明】：（1） K(LM)R)前提（2）（RST）前提（3） K假設(shè)（4） | M 假設(shè)（5） | |(LM）R（1）（3）-（6） | | LM（4）+（7） | | R（5）（6）-（8） | | RS（7）+（9） | | T（2）（8）-（10）| MT（4）（9）+（11）K(MT)（3）（10）+8(MN)®(M®ØN)，Ø(N®P)®Ø(M®ØN)，MN，MP【證明】：（1）

38、（MN)(MØN)前提（2） Ø(NP)Ø(MØN)前提（3） MN前提（4） ØM假設(shè)（5） |(MØN)（1）（3）-（6） | NP（2）（5）DR1（7） | ØMN（3）蘊(yùn)析律（8） | ØMP（6）（7）DR2（9） | P（4）（8）-（10）ØMP（4）（9）+（11）MP（10）蘊(yùn)析律9A«B，Ø(AØR)®(AS)，Ø(BS)®Ø(AR)【證明】：（1） A«B前提（2） Ø(AØR)(

39、AS)前提（3） Ø(BS)假設(shè)（4） | Ø(AS)（1）（3）RP（等值置換）（5） | AØR（2）（4）DR1（6） | ØR（5）-（7） | ØAØR（6）+（8） | Ø(AR)（7）德*摩根律（9） Ø(BS)Ø(AR)（3）（8）+10(AB)C，(AB)®(E®A)，(C®D) ，(E®A)D【證明】：(1) (AB)C前提(2) (AB)(EA)前提(3) CD前提(4) ØD假設(shè)(5) | ØC(3)(4)DR1(6) |

40、 AB(1)(5)否定肯定式(7) | EA(2)(6)-(8) ØD(EA)(4)(7)+(9) D(EA)(8)蘊(yùn)析律(10)(EA)D(9)交換律11C«D，B®(DE)，ØCØD，ØB【證明】：（1） C«D前提（2） B(DE)前提（3） ØCØD前提（4） ØDØD（1）（3）RP（等值置換）（5） ØD（4）消去律（6） ØDØE（5）+（7） Ø(DE)（6）德*摩根律（8） ØB（2）（7）DR112A(ØB

41、ØC)，A®(D®E)，Ø(ØBØD)，C®(D®E)【證明】：(1) A(ØBØC)前提(2) A(DE)前提(3) Ø(ØBØD)前提(4) C假設(shè)(5) | BD(3)德*摩根律(6) |(AØB)ØC(1)析取結(jié)合律(7) | AØB(4)(6)否定肯定式(8) | B(5)-(9) | A(7)(8)否定肯定式(10)| DE(2)(9)-(11)C(DE)(4)(10)+七對(duì)于下面的每一個(gè)論證，先將其符號(hào)化為命題邏輯公式；如

42、果它是有效的，則構(gòu)造一個(gè)其有效性的形式證明；如果它是無(wú)效的，則畫(huà)出相應(yīng)的樹(shù)形圖揭示它的無(wú)效性：1如果發(fā)現(xiàn)新的能源，那么，僅當(dāng)世界的人口數(shù)量降低時(shí)，生活水平才會(huì)提高。生活水平不會(huì)提高，就意味著新的能源未被發(fā)現(xiàn)?；蛘咝碌哪茉磳⒈话l(fā)現(xiàn)，或者我們將不會(huì)提供研究經(jīng)費(fèi)。所以，如果我們提供了研究經(jīng)費(fèi)，世界的人口數(shù)量將會(huì)降低。【解析】：設(shè)P發(fā)現(xiàn)新的能源，Q世界的人口數(shù)量降低，R生活水平提高，S我們提供研究經(jīng)費(fèi)，則上述論證可表示為：P(RQ)，ØR«ØP，PØS，SQ這是一個(gè)有效的論證。可構(gòu)造其有效性的形式證明如下：【證明】：（1） P(RQ)前提（2） ØR&

43、#171;ØP前提（3） PØS前提（4） S假設(shè)（5） | P（3）（4）否定肯定式（6） | RQ（1）（5）-（7） | R（2）（5）PR1（8） | Q（6）（7）-（9） SQ（2）（11）+2如果語(yǔ)言學(xué)研究者是正確的，那么，若在古希臘出現(xiàn)了不止一種方言，則不同的部落就是在不同的時(shí)間來(lái)自北方。如果不同的部落在不同的時(shí)間來(lái)自北方，那么他們必定是來(lái)自達(dá)盧比河谷。但是，考古發(fā)掘?qū)?huì)揭示某些不同部落的遺跡，如果他們真是在不同時(shí)間來(lái)自北方的話；而考古發(fā)掘并沒(méi)有在那里發(fā)現(xiàn)這樣的遺跡。所以，如果在古希臘出現(xiàn)了不止一種方言，那么語(yǔ)言學(xué)研究者必定是搞錯(cuò)了。【解析】：設(shè)P語(yǔ)言學(xué)研究

44、者是正確的，Q在古希臘出現(xiàn)了不止一種方言，R不同的部落就是在不同的時(shí)間來(lái)自北方，S不同的部落是來(lái)自達(dá)盧比河谷，T考古發(fā)掘揭示了某些不同部落的遺跡，則上述論證可表示為：P(QR)，RS，RT，ØT，QØP這是一個(gè)有效的論證。可構(gòu)造其有效性的形式證明如下：【證明】：（1） P(QR)前提（2） RS前提（3） RT前提（4） ØT 前提（5） Q假設(shè)（6） | P假設(shè)（7） | | QR（1）（6）-（8） | | R（5）（7）-（9） | | T（3）（8）-（10）| | ØT（4）（前提引用）（11）| ØP（6）（9）（10）Ø

45、+（12）QØP（5）（11）+3如果李白獲勝，則馬麗會(huì)感到高興。如果傅德獲勝，則薩喬會(huì)感到高興。如果彼爾獲勝，則薩喬會(huì)感到高興，并且如果保羅獲勝，則馬麗會(huì)感到高興。或者薩喬將不高興或者馬麗將不高興，并且或者傅德不會(huì)獲勝或者彼爾不會(huì)獲勝。所以，或者彼爾不會(huì)獲勝或者保羅不會(huì)獲勝，并且或者傅德不會(huì)獲勝或者李白不會(huì)獲勝。【解析】：設(shè)P李白獲勝，Q馬麗會(huì)感到高興，R傅德獲勝，S薩喬會(huì)感到高興，T彼爾獲勝，U保羅獲勝，則上述論證可表示為：PQ，RS，(TS)(UQ)，(ØSØQ)(ØRØT)，(ØTØU)(ØRØP

46、)這是一個(gè)有效的論證?？蓸?gòu)造其有效性的形式證明如下：【證明】：（1） PQ前提（2） RS前提（3） (TS)(UQ)前提（4） (ØSØQ)(ØRØT) 前提（5） ØSØQ（4）-（6） ØRØT（4）-（7） TS（3）-（8） UQ（3）-（9） T假設(shè)（10）| S（7）（9）-（11）| ØQ（5）（10）否定肯定式（12）| ØU（8）（11）PR1（13）TØU（1）（12）+（14）ØTØU（13）蘊(yùn)析律（15）R假設(shè)（16）| S（2）（15）-

47、（17）| ØQ（5）（16）否定肯定式（18）| ØP（1）（17）PR1（19）RØP（15）（18）+（20）ØRØP（19）蘊(yùn)析律（21）(ØTØU)(ØRØP)（14）（20）+4如果工資提高或者物價(jià)提高，將會(huì)有通貨膨脹。如果通貨膨脹，則議會(huì)必須限制通貨膨脹，否則人民將遭受損失。如果人民遭受損失，議員們就會(huì)失掉人心。國(guó)會(huì)將不會(huì)限制通貨膨脹并且議員們不會(huì)失掉人心。因此，工資將不會(huì)提高。【解析】：設(shè)P工資提高，Q物價(jià)提高，R通貨膨脹，S議會(huì)限制通貨膨脹，T人民將遭受損失，U議員們會(huì)失掉人心，則上述論

48、證可表示為：PQR，R(ØST)，TU，ØSØU，ØP這是一個(gè)有效的論證?？蓸?gòu)造其有效性的形式證明如下：【證明】：（1） PQR前提（2） R(ØST)前提（3） TU前提（4） ØSØU 前提（5） P假設(shè)（6） |PQ（5）+（7） |R（1）（6）-（8） | ØST（2）（7）-（9） | ØS（4）-（10）|T（8）（9）-（11）| ØU（4）-（12）| ØT（3）（11）PR1（13）ØP（5）（10）（12）Ø+5盡管世界人口在增長(zhǎng)，但農(nóng)業(yè)產(chǎn)量卻

49、在下降，而制造業(yè)的產(chǎn)品保持穩(wěn)定。如果農(nóng)業(yè)產(chǎn)量下降而世界人口卻在增長(zhǎng)，那么，或者有新的食品源可資利用，或者將從根本上對(duì)世界上的食品資源進(jìn)行重新分配，除非人類的營(yíng)養(yǎng)需求降低。沒(méi)有新的食品源可資利用，也不鼓勵(lì)家庭節(jié)約食品，并且人類的營(yíng)養(yǎng)需求也不會(huì)降低。所以，將從根本上對(duì)世界上的食品資源進(jìn)行重新分配?！窘馕觥浚涸O(shè)P世界人口在增長(zhǎng)，Q農(nóng)業(yè)產(chǎn)量在下降，R制造業(yè)的產(chǎn)品保持穩(wěn)定，S有新的食品源可資利用，T將從根本上對(duì)世界上的食品資源進(jìn)行重新分配，U人類的營(yíng)養(yǎng)需求降低，V鼓勵(lì)家庭節(jié)約食品，則上述論證可表示為：PQR，QP(ØUØ(ST)，ØSØVØU，T這是一個(gè)無(wú)效的論證?？捎脴?shù)形圖法證明其無(wú)效性如下：【證明】：Ø(PQR)(QP(ØUØ(ST)(ØSØVØU)TPQRQP(ØUØ(S