大學(xué)教材中國(guó)人民大學(xué)出版社《邏輯學(xué)》參考答案

1、中國(guó)人民大學(xué)出版社邏輯學(xué)參考答案第二章 概念（教材P21）一、判定下列斷定的正誤：1、錯(cuò),因?yàn)閷傩允菍?duì)象的性質(zhì)以及對(duì)象間關(guān)系的統(tǒng)稱。2、錯(cuò),一類對(duì)象共同具有的屬性是固有屬性，不一定是本質(zhì)屬性。3、正確。4、錯(cuò),因?yàn)槿魏胃拍疃加型庋樱崭拍畹耐庋邮强占希皇菬o(wú)集合。5、錯(cuò)，因?yàn)橥粋€(gè)概念可以有不同的內(nèi)涵，因而可以有不同的正確定義。6、錯(cuò)。對(duì)正概念下定義不能使用否定句，對(duì)負(fù)概念下定義可以使用否定句。7、錯(cuò)。只有具有屬種關(guān)系的概念外延之間，才存在內(nèi)涵與外延的反變關(guān)系。二、運(yùn)用本章的相關(guān)知識(shí)以及相關(guān)常識(shí)，回答下列問(wèn)題：1、不正確。定義過(guò)寬。正確的例子：平反就對(duì)無(wú)罪而判有罪的案件進(jìn)行糾正。2、不正確

2、，定義過(guò)寬。正確的例子：科學(xué)理論是由科學(xué)概念、科學(xué)原理和推論組成的具有可檢驗(yàn)性的系統(tǒng)化的知識(shí)體系。3、不正確，“勇敢”和“勇敢的戰(zhàn)士”之間不存在屬種關(guān)系。正確的例子：戰(zhàn)士的勇敢。4、不對(duì)?！跋柴R拉雅山”和“珠穆朗瑪峰”之間不存在屬種關(guān)系。正確概括的例子：山。三、1 C；2，ABC；3，A；4，A；5，B；6，BC；7，B；8，B；9，BC，10，AC。四、下列各題中括號(hào)內(nèi)的話，是從內(nèi)涵方面，還是從外延方面說(shuō)明標(biāo)有橫線的概念的？1、“人們?cè)谏鐣?huì)”從內(nèi)涵方面說(shuō)明“社會(huì)關(guān)系”，“包括經(jīng)濟(jì)、政治”從外延方面說(shuō)明“社會(huì)關(guān)系”。2、“交流思想的工具”從內(nèi)涵方面說(shuō)明“語(yǔ)言”；“記錄語(yǔ)言的符號(hào)”從內(nèi)涵方面說(shuō)明

3、“文字”。3、“用各種纖維”從內(nèi)涵方面說(shuō)明“紡織品”；“棉紡織品、麻紡織品、絲紡織品、天然紡織品、化學(xué)纖維紡織品”以及“人造”從外延說(shuō)明“紡織品”。4、“帶有原理”從內(nèi)涵說(shuō)明“經(jīng)”；“周易”從外延說(shuō)明“十三經(jīng)”。5、“由于地球”從內(nèi)涵說(shuō)明“地震”；“火山地震”從外延說(shuō)明“地震”；“地下深處”從內(nèi)涵說(shuō)明“震源”；“地面上”從內(nèi)涵說(shuō)明“震中”。6、“林木和林地”從外延說(shuō)明“森林資源”；“防護(hù)林”從外延說(shuō)明“森林”。五、從概念的兩種分類角度（單獨(dú)與普遍、正與負(fù)）說(shuō)明下列各題中標(biāo)有橫線的概念屬于哪一種類。1、普遍、正2、孔乙己：?jiǎn)为?dú)、正；作品：普遍、正。3、普遍，負(fù)。4、中國(guó)女子排球隊(duì)：?jiǎn)为?dú)，正；世界

4、冠軍：普遍，正。5、單獨(dú)，正。6、普遍，正。六、下列各題中標(biāo)有橫線的語(yǔ)詞是在集合意義下使用的，還是在非集合意義下使用的？1、集合。說(shuō)明：干部這個(gè)集體由來(lái)自五湖四海的個(gè)體組成，個(gè)體不可能來(lái)自五湖四海。2、非集合。說(shuō)明：因?yàn)槊恳粋€(gè)人都享有廣泛的民主和自由。3、非集合。 說(shuō)明：每個(gè)人都應(yīng)當(dāng)有自知之明。4、集合。說(shuō)明：指中國(guó)人這個(gè)集體具有不怕死的屬性。5、（1）集合；（2）非集合；（3）非集合。6、非集合。7、集合。說(shuō)明：一般物種概念都是集合概念。七、下列各組概念是什么關(guān)系？1、屬種關(guān)系（真包含）。 2、全異（相關(guān)不相容：對(duì)立關(guān)系）。3、交叉。 4、種屬關(guān)系（真包含于）。5、全異（不相關(guān)不相容關(guān)系）。

5、 6、全異（相關(guān)不相容：矛盾關(guān)系）。7、全同。 8、全異（相關(guān)不相容：對(duì)立關(guān)系）。八、用歐拉圖表示下列各題中標(biāo)有橫線的概念之間的關(guān)系：1、CDAB2、ABC，D3、BDAC4BDAC5BDAC九、用歐拉圖表示下列各題中概念之間的關(guān)系：1A C B D 2A C B D E 3A C B 4A D B C 5司法干部 青年 干部6、ABC7、ABC 8D B A C 九，9毫米厘米分米米十、對(duì)下列概念各作一次概括和限制。1、腦力勞動(dòng)者：概括為勞動(dòng)者，限制為科學(xué)家。2、限制為“七律”，概括為“文學(xué)形式”。3、限制為“公?！?，概括為“哺乳動(dòng)物”。4、限制為“美國(guó)”，概括為“國(guó)家”。5、限制

6、為“發(fā)動(dòng)機(jī)”，概括為“工業(yè)產(chǎn)品”。6、限制為“中國(guó)歷史學(xué)”，概括為“科學(xué)”。十 一、下列概念的概括和限制是否正確？如果不正確，請(qǐng)說(shuō)明理由并加以改正。1、限制正確，概括錯(cuò)誤。因?yàn)閷W(xué)生不是知識(shí)分子的種概念，例如小學(xué)生不是知識(shí)分子。2、限制錯(cuò)誤，概括。勇敢限制為勇敢的人是不正確的，因?yàn)橛赂沂侨酥返拢赂业娜耸侨?，不是品德，所以，勇敢的人不是勇敢的種概念。3、限制正確，概括錯(cuò)誤。違法行為概括為犯罪行為是錯(cuò)誤的，因?yàn)榉缸镄袨槭沁`法行為的種概念，而不是相反。4、限制錯(cuò)誤，概括正確。軍隊(duì)限制為人民戰(zhàn)士是不正確的，因?yàn)槿嗣駪?zhàn)士不是軍隊(duì)的種概念，不具有軍隊(duì)的屬性。應(yīng)限制為某一相對(duì)具體的軍隊(duì)，如海軍、美軍等。5

7、、限制與概括都是錯(cuò)的。喜馬拉雅山脈概括為山脈是正確的，而是限制為山脈是錯(cuò)誤的；喜馬拉雅山脈是山脈，而不是山峰，所以，不能概括為高峰。此外，喜馬拉雅山脈是單獨(dú)概念，不能再進(jìn)行限制了。6、限制與概括均正確。十 二、下列連續(xù)限制或連續(xù)概括是否正確？為什么？1、不正確，因?yàn)槿珖?guó)人大、省人大、縣人大、鄉(xiāng)人代會(huì)之間不是屬種關(guān)系。2、“中國(guó)北方最大的城市”概括為“中國(guó)最大的城市”不正確，因?yàn)楸狈阶畲蟪鞘信c中國(guó)最大城市之間不是前者包含或包含于后者的關(guān)系。其余正確。3、不正確，因?yàn)樗恼咧g非同類事物，一為洲，二為國(guó)，三為省，四為市，全異也。另外，四者均為單獨(dú)概念，而單獨(dú)概念是不能限制的。4、洪秀全限制為青年時(shí)代

8、的洪秀全錯(cuò)誤，因?yàn)閱为?dú)概念不能限制。其余均正確。十 三、下列判斷作為定義是否正確？如不正確，請(qǐng)說(shuō)明它違反了哪條定義規(guī)則。1、錯(cuò)誤。定義過(guò)寬。2、錯(cuò)誤，違反了定義項(xiàng)與被定義項(xiàng)的外延應(yīng)當(dāng)是全同關(guān)系的規(guī)則，定義過(guò)窄。3、錯(cuò)誤，違反了定義用語(yǔ)應(yīng)當(dāng)清楚明白的規(guī)則，定義不能使用比喻方法。4、正確。5、錯(cuò)誤，違反了定義項(xiàng)中不能直接或間接包含被定義項(xiàng)的規(guī)則，犯了循環(huán)定義的錯(cuò)誤。十四1、定義過(guò)寬；2、定義過(guò)窄；3、定義過(guò)窄；4、定義過(guò)寬。十五1、定義過(guò)寬；2、錯(cuò)誤，對(duì)正概念下定義不能使用否定句。3、定義過(guò)寬，并且使用了含混語(yǔ)詞（“完全安寧狀態(tài)”是什么意思？）。十 六、下列語(yǔ)句是否語(yǔ)詞定義？如是語(yǔ)詞定義，屬于哪一

9、種？1、是，規(guī)范；2、是規(guī)范；3、不是語(yǔ)詞定義；4、是，說(shuō)明。十七、下列各題是不是劃分？為什么？1、不是劃分，這是分解。2、是。3、是。4、不是劃分，是分解。十 八、下列各題作為劃分是否正確？請(qǐng)說(shuō)明理由。1、錯(cuò)誤?！拔膶W(xué)作品可分為”劃分不全；“小說(shuō)有長(zhǎng)篇現(xiàn)代小說(shuō)”混淆根據(jù)；“詩(shī)歌諷剌詩(shī)”混淆根據(jù)；“戲劇有”混淆根據(jù)。四者也同時(shí)犯了子項(xiàng)相容的錯(cuò)誤。2、錯(cuò)誤。祖你母、兄弟和姐妹都不是直系親屬，犯了劃分過(guò)寬或多出子項(xiàng)的錯(cuò)誤。3、錯(cuò)誤。犯了混淆根據(jù)和子項(xiàng)相容的錯(cuò)誤。4、正確。十九、1B, 2E, 3A, 4A （于衍平整理2001年11月3日,07年4月和11年4月19日修訂）第三章 命題邏

10、輯 （教材P62）一、1、正確2、錯(cuò)誤.命題邏輯中的復(fù)合命題，不僅必須包含與自身不同的支命題，而且須滿足，其支命題的真值可以唯一地確定自身的真值。3、正確。4正確。5正確。6. 錯(cuò)誤。7. 錯(cuò)誤。8. 正確。9. 錯(cuò)誤。二、pqpq¬pq1111100001110011三、解：先把原則符號(hào)化：¬P¬S只有¬D，才GACD¬R只有¬R，才¬C¬A¬P¬S（¬T¬Q）¬R¬FG根據(jù)上面的9條規(guī)則，構(gòu)造以下推導(dǎo)步驟：由2和9，得¬D由（1）和4，得R由

11、（2）和5，得C由（3）和3，得A由（4）和6，得¬P由（5）和1，得¬S由（6）和7，得¬T¬Q由（7）得¬T和¬Q由（2）和8，得¬F綜上所推，得A、C、R和G上場(chǎng)；F、Q、T、S、P和D均不上場(chǎng)。四、1A，2E，3D，4C，5A五、1B，2AB，3AC，4ABCD，5AB，6A，7A，8A，9AC，10ABCD六、1必要條件2充分條件3不構(gòu)成條件關(guān)系4充要條件5必要條件 七、寫(xiě)出下列復(fù)合命題的負(fù)命題的等值命題。1.     這個(gè)商店的產(chǎn)品或者不價(jià)廉，或者物不美

12、。2.     昨晚小張和小李都不值班。3.     人大膽，但地不高產(chǎn)。4.     經(jīng)濟(jì)不發(fā)達(dá)地區(qū)也有環(huán)境治理問(wèn)題。5.     或者老張和老李都當(dāng)選，或者老張和老李都不當(dāng)選。6.     或者衣食足但不知榮辱，或者衣食不足但知榮辱。7不認(rèn)識(shí)字母也能學(xué)好外語(yǔ)。8不吃巧克力也長(zhǎng)得好。 八、寫(xiě)出下列復(fù)合命題的真值形式。用p表示看電影，用q

13、表示看展覽，用r表示去游泳：(pq)（¬ (pq)r）用p表示天晴，用q表示不加班，用r表示去游泳，用s表示去劃船：(p¬q)（rs）用p表示科學(xué)家預(yù)見(jiàn)是正確的，用q表示我們不從現(xiàn)在起重視環(huán)境保護(hù)，r表示人無(wú)法在地球上生存：p(qr)用p表示吸煙，q表示吐痰，r表示棄物，s表示罰款：pqrs九、用真值表方法判定下列真值形式的類型。1、(p(qq)ppqqqp( qq)(p(qq)p11001100010101100011答：該式是重言式。 2、(pq)( pq)pqpqpqpq(pq)( pq)1100100100111101101000011001答：該式為非重

14、言的可真式。 3、(pq)p)q)pqpqpq(pq)p(pq)p)q)1100101100100101101100011111答：該式為非重言的可真式。 十、運(yùn)用有關(guān)規(guī)則，判定下列命題推理是否有效。1、無(wú)效。相容選言推理不能在前提中肯定一部分選言支，而在結(jié)論中否定其余選言支。2、無(wú)效。因?yàn)檎{(diào)查研究是有發(fā)言權(quán)的必要條件。必要條件假言推理中，不能在前提中肯定前件，而在結(jié)論中肯定后件。3、無(wú)效。因?yàn)榛几窝资浅霈F(xiàn)厭食的充分條件。充分條件假言推理中不能肯定后件而肯定前件。4、有效，充分條件假言推理的否定后件否定前件式。 十一、分別用真值表方法和歸謬賦值法判定下列推理的有效

15、性。用p表示“運(yùn)動(dòng)著的物體某一瞬間在這兒?！?，則這兩個(gè)推理可表示為：（推理一） (pp)(pp) （推理二） (pp)(pp)證明一：用真值表法：pppppp(pp)(pp)(pp)(pp)(pp)10000110110001證明結(jié)果：推理一不是有效的，推理二是有效的。證明二：用歸謬賦值法：先證推理一：(p p) ( p p)   0     1  0  說(shuō)明：第一步：假設(shè)推理假。第二步：由上一步得出前件真，后件假。蘊(yùn)涵式右邊要求p與p至少有一假，不能同真；蘊(yùn)涵式左邊真可分為

16、三種情況：或者p與p同真，或者p與p同假，或者 p真¬p假，后兩種情況與右邊的要求不沖突。所以，假設(shè)有可能成立，推不出矛盾。結(jié)論：推不出矛盾，所以該真值形式為假是可能的，即該推理不是有效的。推理二的證明：(Pp)(pp)      0        1      0    0 0     

17、        1         說(shuō)明：第一步設(shè)推理為假。第二步，從上一步得出前件真，后件假。第三步，從上一步右邊得出p或p假。而左邊的p與p或同真，或同假。依右邊的情況，左邊只能同假，不能同真。結(jié)論：推出矛盾，因而假設(shè)該推理假不能成立，所以，推理是有效的。 用p表示“保持安定局面”，用q表示“發(fā)展經(jīng)濟(jì)”。推理可表示為：(¬pq)(pq) 證明一：真值表法：pQ¬pq(¬pq)pq(pq)(pq

18、)110111100111011001000111結(jié)論：該推理是有效的。證明二：用歸謬賦值法(pq)(pq)       0        1         0       0    1  0   

19、         0  1    01            結(jié)論：推出矛盾p¬p，故推理有效。 十二、分別求下列真值形式的合取范式和析取范式，并確定它們的真值類型。1. (pq)(pq)解: 消去: (pq)(pq) (pq) (pq) 內(nèi)移: (pq)(pq) 上式本身就是一個(gè)析取范式: (pq)(p)q

20、求合取范式, 用析取分配率, 得: (ppq)(qpq) 結(jié)論：從合取范式看, 該式為重言式. 2. (pq)(pq)解: 消去: (pq)(pq)(pq)(pq) 內(nèi)移: (pq)(pq)(pq)(pq) (1) 求合取范式, 用析取分配率: 把左數(shù)第二個(gè)的左邊分配給右邊,得: (pq)(pq) (pq) (pq)(pq)( pq)把左數(shù)第二個(gè)和右數(shù)第一個(gè)再分別進(jìn)行析取分配,得:(pq)(pq)(pq)(pq)(pq)( pq)(pq)( pq)最左邊和最右邊再進(jìn)行析取分配: (ppq)(qpq)(pqpq) (pq)( pq)(pqp)(pqq)右數(shù)第五個(gè)左分配給右:(ppq)(qpq)(

21、pqpq)(pq)p)(pq)q)(pqp)(pqq)右數(shù)第五個(gè)和第七個(gè),右邊分配給左邊:(ppq)(qpq)(pqpq)(pp)(qp)(pq)(qq)(pqp)(pqq) （2） 求析取范式, 對(duì)(1)式用合取分配率: 左數(shù)第二個(gè)左邊分配給右邊, 右數(shù)第二個(gè)右邊分配給左邊: (pqp)(pqq) (ppq) (ppq)整理后,得: (pqp)(pqq)(ppq)(ppq) (3) 結(jié)論: 從(3)式看出, 該式為矛盾式. 3. q(pq)p)解: 消去: q(pq)p) q(pq)p) q(pq)p） 內(nèi)移: q(pq)p (1) 求合取范式, 用析取分配率:

22、 (qpp)(qqp) (2) 求析取范式, 對(duì)(1)式去括號(hào), 得析取范式: q(pp)p (3)結(jié)論: 從合取范式直觀地判定該式為重言式。 4. (q(pq)p解：消去：(q(pq)p (q(pq)p (qp)p 內(nèi)移： qpp (1) 求合取范式，用析取分配率：(qp)(pp) (2)式本身就是一個(gè)析取范式。 結(jié)論：該式既不是重言式，也中是矛盾式，所以，它是一個(gè)非重言的可真式。 十三用范式方法判定下列推理是否有效。解：首先，把推理用真值形式表示： 設(shè)p表示“上帝創(chuàng)世說(shuō)的故事是真實(shí)的”，q表示“地球存在的頭三天就沒(méi)有太陽(yáng)”，r表示“天是用太陽(yáng)來(lái)定義的”。 則推理表示為：

23、 (pq)r(rq)p證明：求合取范式。消去：(pq)r(rq)p 內(nèi)移：(pq)r(rq)p進(jìn)行析取分配：(pr)(qr)(rp)(qp) (pr) (rp)(qp)(qr) (rp)(qp)(pr rp)( prqp)(qrrp)(qrqp)結(jié)論：因其合取范式為重言式，所以，該推理是有效的。 十四構(gòu)造自然推理，判定下列推理的有效性。1首先，把推理翻譯為真值形式：p表示“小張去春游”，q表示“小李去春游”，r表示“小王去春游”。證明：(1) (pq) r P(2) p P(3) pq T,(2)(4) (pq) T,(3)(5) r T,(1),(4)結(jié)論：該推理是有效的。

24、0;2翻譯：p表示“L上有無(wú)限多點(diǎn)”，q表示“點(diǎn)有長(zhǎng)度”，r表示“L無(wú)限長(zhǎng)”，s表示“L沒(méi)有長(zhǎng)度”。證明：(1) p(qr)(qs) P(2) rs P(3) p P(引入的假設(shè))(4) (qr)(qs) T,(1),(3)(5) qr T,(4)(6) qs T,(4)(7) r T,(2)(8) s T,(2)(9) q T,(5),(7)(10) q T,(6),(7)(11) qq T,(9),(10)(12) p 歸謬規(guī)則，（3），（11）結(jié)論：推理有效。 3翻譯：p表示“談判要舉行”, q表示“定于周三”，r表示“定于周五”，s表示“總經(jīng)理出席”。證明：(1) pqr P

25、(2) rs P(3) s P(4) q P(引入的假設(shè))(5) p P(引入的假設(shè))(6) qr T(1),(5)(7) r T(2),(3)(8) q T(6),(7)(9) qq T(8),(4)(10) p 歸謬規(guī)則(5),(9),消去（5）(11) qp D(4),(10),消去（4）。結(jié)論：該推理是有效的。 十五運(yùn)用命題邏輯的知識(shí)，解答下列問(wèn)題。1題目給出的條件：(1)    四六，(2)    一三，(3)    (三六)(三六)(4)    九12四

26、(5)    一12進(jìn)一步分析：(6)    一 （5）(7)    三 （6）和（2）(8)    六 （3）和（7）(9)    四 （8）和（1）(10)（九12） （4）和（9）(11)九12 （10）(12)12 （5）(13)九 （12）和（11）結(jié)論：9號(hào)不應(yīng)該上場(chǎng)。 2四人的話表示為：甲：甲乙乙：乙丙丙：甲乙?。杭妆厦嫠木湓捴挥幸痪涫钦娴?。分析：因?yàn)榧缀捅脑捪嗝?，故說(shuō)真話的人是其中之一。而且得知，乙和丁說(shuō)假話，則他

27、們的話的否定是真的，即： （5）乙丙 （6）甲丙由（6）得知，甲和丙均未作案，推理格式為： 甲丙 甲 甲丙 丙所以，結(jié)合（5），可知，乙作案。推理格式如下： 乙丙 丙 乙所以，甲說(shuō)真話。結(jié)論：乙作案，甲說(shuō)真話。 3分析后，構(gòu)造如下二難推理得出結(jié)論：若是一伙人作案，甲作案（因?yàn)橐也粏为?dú)作案，丙作案甲必作案）；若是一個(gè)人作案，甲也作案（因?yàn)橐液捅疾粫?huì)單獨(dú)作案）；或者一個(gè)人作案，或者一伙人作案。 總之，甲作案。 4這個(gè)騎士說(shuō)：我不是富有的騎士。5智者問(wèn)：另一個(gè)士兵將如何回答，他手里拿的是毒酒還是美酒這個(gè)問(wèn)題？6 選派小方，不選派小王。7甲和乙是罪犯。丙是否為罪犯不能確認(rèn)。8甲關(guān)

28、于A當(dāng)上了律師的猜測(cè)不能成立，因?yàn)榉駝t丙的兩個(gè)猜測(cè)都不成立。因此，甲關(guān)于B當(dāng)上法官的猜測(cè)成立。由此可推出：C當(dāng)上了律師，A當(dāng)上了檢察官。9乙和丁都沒(méi)有參加考試。10若（3）真，則（1）、（2）都真。所以，（3）假。所以，（1）與（2）的前件至少有一個(gè)是真，所以，后件至少有一個(gè)是真的。11C是謀害者。12乙是兇手。13A、B和E未進(jìn)入，C和D進(jìn)入。14乙第二，丙第三，丁第一，甲第四。15小周和小陳學(xué)日語(yǔ)，小劉不學(xué)日語(yǔ)。第四章 詞項(xiàng)邏輯 （教材P95）一、判定下列斷定的正誤：不對(duì)。直言命題是斷定對(duì)象有無(wú)某種性質(zhì)的命題。不對(duì)。主項(xiàng)與謂項(xiàng)稱為詞項(xiàng)，量項(xiàng)和聯(lián)接項(xiàng)不是詞項(xiàng)。不對(duì)?！坝械腟是P”的含義是“存

29、在S是P，不排除所有S是P的可能性”。不對(duì)。有的時(shí)候?qū)Ξ?dāng)關(guān)系并不能得出確定的結(jié)論。正確。因?yàn)閮蓚€(gè)單稱命題之間的關(guān)系是矛盾關(guān)系，而不是反對(duì)關(guān)系，與全稱命題不同。不對(duì)。下反對(duì)關(guān)系是“不能同假，可以同真”。從一個(gè)命題的假能推出另一個(gè)真，但是不能從一個(gè)命題的真推出另一個(gè)命題為假。對(duì)。不對(duì)。大前提是包含大項(xiàng)的前提，小前提是包含小項(xiàng)的前提。不對(duì)。前提中周延的項(xiàng)，在結(jié)論中可能周延，也可能不周延。不對(duì)。結(jié)論特稱，兩個(gè)前提也可能全稱。對(duì)。二、在下列括號(hào)中填入適當(dāng)?shù)恼Z(yǔ)詞。1、主項(xiàng)、謂項(xiàng)、量項(xiàng)、聯(lián)結(jié)項(xiàng)、聯(lián)結(jié)項(xiàng)、量項(xiàng)。2、非黨員3、全稱命題的主項(xiàng)與否定命題的謂項(xiàng)，特稱命題的主項(xiàng)與肯定命題的謂項(xiàng)4、特稱肯定命題、特稱否

30、定命題、真假不定、必真三、簡(jiǎn)答下列問(wèn)題：1、直接推理由兩個(gè)命題組成，間接推理由三個(gè)及三個(gè)以上的命題組成。2、因?yàn)榍疤嶂蠸不周延，但是在結(jié)論中是否定命題的謂項(xiàng)，變成周延的，違反了規(guī)則，所以SOP不能換位。3、一類對(duì)象的全部，是什么或不是什么，那么，這類對(duì)象中的部分對(duì)象，也是什么或不是什么。4、因?yàn)閮蓚€(gè)否定的前提分別把大小項(xiàng)與中項(xiàng)分離開(kāi)來(lái)，于是，中項(xiàng)不能在大小項(xiàng)之間建立聯(lián)系，所以，得不出大小之間的確定性關(guān)系。四、指出下列語(yǔ)句屬何種直言命題，并寫(xiě)出其公式（如是負(fù)命題，則寫(xiě)出與其等值的命題）。全稱肯定，SAP。全稱肯定，SAP。特稱肯定，SIP。特稱肯定，SIP。特稱否定，SOP。全稱否定，SEP。全

31、稱肯定，SAP.全稱否定，SEP.全稱否定，SEP.全稱肯定命題的負(fù)命題SAP，等值命題為特稱否定，SOP.特稱肯定，SIP。全稱否定命題的負(fù)命題：SEP，其等值命題為特稱肯定命題，SIP。五、指出下列直言命題主、謂項(xiàng)的周延情況（如果直言命題不規(guī)范，請(qǐng)先將其規(guī)范為典型的直言命題）。主項(xiàng)周延謂項(xiàng)不周延。主項(xiàng)周延謂項(xiàng)不周延。主項(xiàng)周延謂項(xiàng)不周延。主項(xiàng)周延謂項(xiàng)周延。主項(xiàng)不周延謂項(xiàng)周延。主項(xiàng)不周延謂項(xiàng)不周延。有些各行各業(yè)中的干部是不稱職的干部。主項(xiàng)和謂項(xiàng)都是不周延的。所有金屬都是導(dǎo)電的。主項(xiàng)周延，謂項(xiàng)不周延。有些社會(huì)現(xiàn)象不是有階級(jí)性的。主項(xiàng)不周延，謂項(xiàng)周延。所有水稻都不是多年生植物。主謂項(xiàng)都周延。有些新

32、聞系畢業(yè)生不是當(dāng)記者的。主項(xiàng)不周延，謂項(xiàng)周延。有些出席會(huì)議的人不是大學(xué)畢業(yè)的。主項(xiàng)不周延，謂項(xiàng)周延。有的干部不稱職。主項(xiàng)不周延謂項(xiàng)周延。六、已知下列直言命題的真假，根據(jù)對(duì)當(dāng)關(guān)系確定素材相同的其余三個(gè)直言命題的真假情況。1已知A真，則E假，I真，O假。2已知A假，則E不定，I不定，O真。3已知E真，則A假，I假，O真。4已知E假，則A不定，I真，O不定。5已知I真，則A不定，E假，O不定。6已知I假，則A假，E真，O真。7已知O真，則A假，E不定，I不定。8已知O假，則A真，E假，I真。七、已知下列命題為真，根據(jù)對(duì)當(dāng)關(guān)系，指出素材相同的其余三個(gè)命題的真假（如果是負(fù)命題，先轉(zhuǎn)化為典型的直言命題）。

33、1此為A命題，E假，I真，O假。2此為I命題，E假，A與O不定。3此為E命題，A假，I假，O真。4此為O命題，A假，E和I不定。5此為A命題，E和O假，I真。6此為E命題，A假，I假，O真。7此命題等值于“所有乘客都不是大學(xué)生”，E命題，則A假，I假，O真。8此命題等值于“所有同學(xué)都不是會(huì)下國(guó)際象棋的”，E命題，A假，I假，O真。9此命題為“有的司法工作者不是律師”，O命題，A假，I與E不定。八、已知下列命題為假，根據(jù)對(duì)當(dāng)關(guān)系指出素材相同的其余三個(gè)命題的真假情況。1此為A命題，E（商品都不是質(zhì)量好的）不定，I（有商品是質(zhì)量好的）不定，O（有商品不是質(zhì)量好的）真。2此為I命題，A（金屬都是絕緣體

34、）假，E（金屬都不是絕緣體）真，O（有的金屬不是絕緣體）真。3此為E命題，A（蛇都是有毒的）不定，I（有的蛇是有毒的）真，O（有的蛇不是有毒的）不定。4此為O命題，A（所有哺乳動(dòng)物都是脊椎動(dòng)物）真，I（有哺乳動(dòng)物是脊椎動(dòng)物）真，E（所有哺乳動(dòng)物都不是脊椎動(dòng)物）不定。5此為A命題，E（所有質(zhì)數(shù)都不是奇數(shù)）不定，I（有質(zhì)數(shù)是奇數(shù)）不定，O（有質(zhì)數(shù)不是奇數(shù)）真。6此命題為A，E命題“所有價(jià)高的商品都不是質(zhì)地優(yōu)良的商品”真假不定。I命題“有的價(jià)高的商品是質(zhì)地優(yōu)良的商品”真假不定。O命題“有的價(jià)高的商品不是質(zhì)地優(yōu)良的商品”真。7此命題為E命題，A命題“所有生產(chǎn)資料都是商品”不定。I命題“有生產(chǎn)資料是商品

35、”真。O命題“有生產(chǎn)資料不是商品”不定。8此命題為I命題。A命題“所有的蛇是無(wú)毒的”假。E命題“所有的蛇不是無(wú)毒的”真。O命題“有的蛇不是無(wú)毒的”真。9此命題為A命題。E命題“人人都沒(méi)有自行車(chē)”不定。I命題“有的人有自行車(chē)”不定。O命題“有的人沒(méi)有自行車(chē)”真。10此為A的負(fù)命題，等值于O命題，A（乘客都是大學(xué)生）真，E（乘客都不是大學(xué)生）假，I（有乘客是大學(xué)生）真。九、根據(jù)對(duì)當(dāng)關(guān)系選擇相關(guān)的判斷駁斥下列判斷。有的社會(huì)現(xiàn)象示是有階級(jí)性的。所有的鯨都是哺乳動(dòng)物。所有天才都不是生而知之者。有的自學(xué)不是不能成才的。有的能言善辯的人是老實(shí)人。十、指出下列各組命題的真假關(guān)系：矛盾關(guān)系下反對(duì)關(guān)系反對(duì)關(guān)系從屬

36、關(guān)系反對(duì)關(guān)系十一、根據(jù)對(duì)當(dāng)關(guān)系真接推理，從以下前提出發(fā)，能否推出相應(yīng)的結(jié)論。推不出，因?yàn)锳與E為反對(duì)關(guān)系。推不出，因?yàn)镮與O為下反對(duì)關(guān)系。能推出。從屬關(guān)系。全稱真，則特稱真。推不出。從屬關(guān)系，特稱真得不出全稱的結(jié)論。能推出。從屬關(guān)系，特稱假則全稱假。能推出。矛盾關(guān)系，一個(gè)假，可推出另一個(gè)真。推不出，反對(duì)關(guān)系不能從一個(gè)真推出另一個(gè)真。十二、在對(duì)當(dāng)關(guān)系中因?yàn)镾AP¬SEPSIP；APSOP，得不出SIP的真值。所以，SAP與SIP為從屬關(guān)系，同理可證SEP與SOP也是從屬關(guān)系。因?yàn)镾APOPSIPEP，而APSOP，得不出SEP的真值；同樣，SEPIPSOP¬SAP，且SEP假

37、時(shí)，SAP不定。所以，SAP與SEP是反對(duì)關(guān)系。不能。不能。十三、對(duì)下列命題進(jìn)行換質(zhì)，并用公式表示換質(zhì)過(guò)程。SEPSA。SOPSISEPSASIPSOSAPSESIPSOSOPSISEPSASAPSE十四、下列命題能否換位？如能，請(qǐng)進(jìn)行換位，并用公式表示換位過(guò)程。不能SIPPIS不能SEPPESSEPPIS不能SAPPIS不能SIPPISSAPPISSEPPES十五、根據(jù)命題變形推理規(guī)則，判定下列推理是否成立。1成立：EPAI。S表示搞陰謀詭計(jì)的人。2成立：SAPSEES。3成立：SAPPIS。S表示不勞動(dòng)者，P表示不得食者。4（1）SAPPAS不成立：SAPPIS，推不出PAS；（2）SAP

38、I成立：SAPSEPESAI。（3）故，SAPPASI成立。5（1）不成立，因?yàn)榍疤酳AP中的P不周延，結(jié)論SOP中的P周延，違反變形推理規(guī)則，故SAP推不出SOP。（2）成立，SAPSEES。（3）不成立，因?yàn)榍疤嶂蠸AP中的P不周延，而結(jié)論P(yáng)AS中的P周延，違反變形推理規(guī)則，故推不出。6用換質(zhì)位法得：，依屬?gòu)年P(guān)系，也成立。7推不出：SAPSEESAIOP，結(jié)果與要求的結(jié)論矛盾。8正確。SOPSIIS¬PO9正確。SIPPISPO10（1）推不出。SAPPIS，推不出PAS。（2）正確。SAPSEESA。11推不出。SAPPIS，推不出PAS。12（1）有的形式正確的推理是正確的推

39、理。推導(dǎo)過(guò)程：SAPPIS。（2）有的不正確的推理是非形式正確的推理。推理過(guò)程：SAPSEESAI。十六、略十七、略十八、違反了中項(xiàng)至少周延一次的規(guī)則。違反了前提中不同周延的項(xiàng)在結(jié)論中也不得周延的規(guī)則，犯了大項(xiàng)不當(dāng)周延的錯(cuò)誤。正確。違反了兩個(gè)特稱前提推不出必然結(jié)論的規(guī)則。正確。違反了兩個(gè)特稱前提推不出必然結(jié)論的規(guī)則。違反了兩個(gè)否定的前提得不出必然結(jié)論的規(guī)則。違反了中項(xiàng)至少周延一次的規(guī)則。以下略。十九、在前提與結(jié)論中的括號(hào)內(nèi)填入適當(dāng)?shù)姆?hào)，使之成為有效的三段論，并說(shuō)明理由。1（M）E（P）SA（M）S（E）P2（M）AP（S）I（M）SIP3（P）A（M）S（E）MSEP4P（I）M（M）A（S

40、）SIP5（M）E（P）M（I）SSOP二十、運(yùn)用三段論的規(guī)則回答下列問(wèn)題1推不出，因?yàn)橹许?xiàng)不周延。2推不出，因?yàn)橹许?xiàng)不周延。3不能。因?yàn)槎贾苎樱鸵笕齻€(gè)命題都是否定的，但是兩個(gè)否定的前提提不出必然結(jié)論。故三個(gè)詞項(xiàng)不能都周延兩次。6PAMSOMSOP7全稱肯定。因?yàn)樾∏疤嶂髦^項(xiàng)都不周延，因而是特稱肯定命題，根據(jù)兩個(gè)特稱前提得不出必然結(jié)論的規(guī)則，得知大前提不能是特稱命題；又因?yàn)榇笄疤嵊幸豁?xiàng)周延，又不能是特稱否定命題，故只能是全稱肯定命題。8根據(jù)第一格的規(guī)則，大前提和小前提的組合有以下四種，它們對(duì)應(yīng)的結(jié)論如下表：大前提小前提結(jié)論AAA，IAIIEAE，OEOO二十一、證明題證明：根據(jù)大前提特稱，

41、依規(guī)則“兩個(gè)特稱命題得不出必然結(jié)論”，推出小前提全稱。根據(jù)大前提特稱，依“一前提特稱，結(jié)論特稱”，推出結(jié)論特稱。假設(shè)小前提否定，依“一前提否定，則結(jié)論否定”，得出結(jié)論為特稱否定，因而結(jié)論中的大項(xiàng)周延。依“前提中不周延的項(xiàng)結(jié)論中也不得周延”，推出大前提中的大項(xiàng)也須周延，因而大前提只能是否定命題，并且大項(xiàng)處于謂項(xiàng)。但是，“兩個(gè)否定的前提得不出必然結(jié)論”，所以，假設(shè)錯(cuò)誤，即小前提必須是肯定的。所以，小前提是全稱肯定命題。證明：根據(jù)結(jié)論是命題，得知，結(jié)論中的大、小項(xiàng)都周延，依“前提中不周延的項(xiàng)結(jié)論中也不得周延”，前提中的大、小項(xiàng)都必須周延。又因?yàn)椤爸许?xiàng)在前提中至少要周延一次”。所以，前提中四個(gè)項(xiàng)，有三

42、個(gè)須周延（不可能四個(gè)都周延，否則兩前提都是命題）。要保證三個(gè)項(xiàng)周延，有三種式可以選擇：、和。其中只有組合是正確的，和都違反規(guī)則。所以，前提必然是一個(gè)命題和一個(gè)命題。證明：根據(jù)小前提是命題，依“一前提否定，則結(jié)論否定”，推出結(jié)論為否定命題，則結(jié)論中的大項(xiàng)周延。依“前提中不周延的項(xiàng)結(jié)論中也不得周延”，推出大前提中的大項(xiàng)必須周延。因小前提是命題，依“兩否定前提推不出必然結(jié)論”，得大前提必然是肯定命題。所以，大前提只能是命題，并且大項(xiàng)在主項(xiàng)位置。所以，大前提必須是命題。證明：小前提為命題，依“結(jié)論否定，則有一前提否定”規(guī)則以及第一格規(guī)則“小前提肯定”，推出大前提否定。依第一格規(guī)則“大前提必須全稱”，所

43、以，大前提只能是命題。證明：第一格形式為：（）（）（）假設(shè)：小前提否定。依“一前提否定，則結(jié)論否定”，由假設(shè)可推出結(jié)論否定，因而結(jié)論中的大項(xiàng)周延。依“前提中不周延的項(xiàng)在結(jié)論中不得周延”的規(guī)則，大前提中的大項(xiàng)也須周延。因第一格大前提的大項(xiàng)在謂項(xiàng)位置上，所以，大前提須否定。結(jié)果推出兩個(gè)否定的前提。依“兩否定前提得不出必然結(jié)論”，推出假設(shè)錯(cuò)誤。所以，小前提肯定。6證明：一個(gè)三段論結(jié)論為否定命題，則其大項(xiàng)在結(jié)論中周延，根據(jù)規(guī)則（二）知它在前提中也要周延，而一個(gè)I命題其主項(xiàng)和謂項(xiàng)皆不周延，因此如果它是一個(gè)正確的三段論，則此時(shí)其大前提不能是I命題。7證明：由A和B可正確地推出“所有精通英語(yǔ)的都不精通邏輯”

44、，這一結(jié)論與C是矛盾關(guān)系，所以，C必假。8證明：由三段論的規(guī)則知A與B至多有一個(gè)為否定命題。若A與B皆為肯定命題，則結(jié)論已成立；若A與B有一個(gè)為否定命題，則結(jié)論C應(yīng)為否定命題，而D是與C相矛盾的直言命題，則D應(yīng)是肯定命題，因此A、B、D中有兩個(gè)為肯定命題，結(jié)論亦成立。9如果B為肯定命題，則D應(yīng)為否定命題。此時(shí)若A亦為肯定命題，則C應(yīng)為肯定命題，這樣“DAC”就違反了規(guī)則（四）。若A亦為否定命題，則C亦應(yīng)為否定命題，這樣“DAC”就違反了規(guī)則（三）。如果B為否定命題，則D應(yīng)為肯定命題并且A只能是肯定命題，這樣“DAC”就違反了規(guī)則（五）。綜上，“DAC”不是有效的三段論式。10推理變?yōu)橐?guī)模的形式

45、：所有商品者是有價(jià)值的，有的勞動(dòng)產(chǎn)品不是商品，所以，有的勞動(dòng)產(chǎn)品不是有價(jià)值的。這是一個(gè)AOO式的三段論，不是有效的推理，因?yàn)榇箜?xiàng)不當(dāng)周延。11-14略15 證明：由PES和SIM推出MOP.由MOP和MOPSIP推出SIP.因?yàn)镾IP與PES矛盾，所以，同時(shí)肯定這三個(gè)命題違反矛盾律。16 3式分別否定了1式和2式的后件，所以，得到它們前件的否定：并非“P不真包含于M”，并非“S不與M交叉”，即P真包含于M，S與M交叉。M與P、S與M之間的關(guān)系分別如下圖表示：MPSM從中可看出：S與P也不是全同關(guān)系，因?yàn)镻真包含于M，而S與M是交叉關(guān)系；S不可能真包含于P，因?yàn)镾有一部分在M之外，而P真包含于M

46、。S與P之間不是全同、全異、真包含和交叉關(guān)系，所以，只能是真包含于關(guān)系。17略二十二、略。二十三、判定下列文字中有無(wú)三段論，如有，請(qǐng)整理出來(lái)（如是省略式，則將省略部分恢復(fù)起來(lái)），并分析是否有效。真理是不怕批評(píng)的，科學(xué)是真理，所以科學(xué)是不怕批評(píng)的。有效。有兩個(gè)三段論。（1）凡是超過(guò)群眾覺(jué)悟程度的總是錯(cuò)誤的；命令主義超過(guò)了群眾的覺(jué)悟程度；所以，命令主義是錯(cuò)誤的。（2）凡是落后于群眾覺(jué)悟程度的總是錯(cuò)誤的；尾巴主義落后于群眾覺(jué)悟的程度；所以，尾巴主義是錯(cuò)誤的。兩個(gè)推理正確。有一個(gè)三段論：前沿科學(xué)家都是懂得數(shù)學(xué)語(yǔ)言的，有些老年科學(xué)家不懂得數(shù)學(xué)語(yǔ)言；所以，有些老年科學(xué)家不能在前沿科學(xué)取得成就。有效。凡是有

47、水生生物化石的地層都是地質(zhì)史上的古海洋地區(qū)，喜馬拉雅山脈有水生生物化石，所以，喜馬拉雅山脈是古海洋地區(qū)。有效。第五章 謂詞邏輯 （教材P125）三、根據(jù)所給出的謂詞的定義，把下列符號(hào)表達(dá)式翻譯成通順的自然語(yǔ)言語(yǔ)句。有的美國(guó)科學(xué)家是黑人。所有年滿18歲的公民都有選舉權(quán)和被選舉權(quán)。并非所有的鳥(niǎo)都會(huì)飛。所有人有都有不懂得的知識(shí)。所有不自尊的人都不會(huì)有人尊敬他。四、根據(jù)所給出的謂司的定義，把下列自然語(yǔ)言語(yǔ)句翻譯成符號(hào)表達(dá)式。x(Sx Cx)x(Sx Px)x(Cx Sx) y(Cy Sy)x(Fx Gx)x (Px yFyx) x(Px ySyx)x(LxSxy(HyBxy)x(SxTxWx)x(Tx

48、WxSx)x(PxBxxBax)x(Mx y(Ey Lxy)x(Mx(OxHx)五、構(gòu)造自然推理，判定下列推理的有效性1x(MxCxGx) Px(MxCx) PMC (2)-MCG (1)-M (3)T,聯(lián)言分解式CG (4),(5)T,充分條件假言推理的肯定前件式G (3)T,聯(lián)言分解式C (6),(7)T,選言推理的否定肯定式。MC (5),(8)T,聯(lián)言推理合并式x（MxCx）(9)+2x(SxFx)Px(SxFx)P /xSxxSxP（引入的假設(shè)）S(3)-，根據(jù)前提3SF(2)-，根據(jù)前提2F4,5,T規(guī)則（肯前肯后），根據(jù)前提1和3SF(1)-，根據(jù)前提2F4,7,T規(guī)則（肯前肯后

49、），根據(jù)前提2和3FF6,8,T規(guī)則（聯(lián)言合并式），根據(jù)前提1、2和3xSx3,9,歸謬規(guī)則，根據(jù)前提1、2和33x(PxCx)Px(PxCxWx)P /x(PxWx)PC1,-PCW2,-W3,4,T規(guī)則（肯定肯后）P3,T規(guī)則（聯(lián)言分解式）PW5,6,T規(guī)則（聯(lián)言合并式）x(PxWx)7,+4x(TxJxTx)P /x(TxJx)x(TxJx)P（引入的假設(shè)）TJ2,-TJT1,-T3,4,T規(guī)則（肯前肯后）T3,T規(guī)則（聯(lián)言分解）TT5,6,T規(guī)則（聯(lián)言合并）x(TxJx)2,7,歸謬規(guī)則5x(RxFxTx)Px(LxTx)P /x(LxRx)RxFxTx1,-LxTx2,-LxP（引入的假設(shè)）x帶標(biāo)記Tx4,5,T規(guī)則（肯前肯后）x帶標(biāo)記Rx3,5,T規(guī)則（否后否前）x帶標(biāo)記LxRx5,7,D規(guī)則，（銷去假設(shè)5）x(LxRx)8,+6x(TxLx)P /x(LxMx)x(TxMx)x(LxMx)P（引入假設(shè)）TxLx1,-LxMx2,-TxP（引入假設(shè)）x帶標(biāo)記Lx3,5,T規(guī)