邏輯學課后習題答案.doc

第一章 緒論（P6）一、1邏輯學的研究對象是思維的形式結構及其規(guī)律，邏輯學是研究思維形式結構及其規(guī)律的科學。2思維形式結構是思維內容的存在方式、聯系方式。邏輯常項是思維形式結構中的不變部分，它決定思維的邏輯內容。邏輯變項是思維形式結構中的可變部分，它容納思維的具體內容。如“所有S是P”這一全稱肯定命題的思維形式結構，其中“所有是”是邏輯常項，表明該命題具有“全稱肯定”的邏輯內容。“S”、“P”是邏輯變項(詞項變項)，代入不同具體詞項，表達不同的具體思維內容，并有真假。又如“如果P，那么Q”這一充分條件假言命題的思維形式結構，其中“如果那么”是邏輯常項，表明該命題具有蘊涵式的邏輯內容，即前件真則后件真(“有之必然”)，并非前件真而后件假(并非“有之而不然”)?！癙、Q”是邏輯變項(命題變項)，代入不同的具體命題，表達不同的具體思維內容，并有真假。3對思維形式結構的代入，是指用具體的詞項或命題替換思維形式結構中的邏輯變項，因而使思維形式結構成為有內容的具體思想，并具有真假值。如用具體的詞項“楊樹”和“落葉喬木”，分別替換“所有S是P”這一全稱肯定命題的思維形式結構中的邏輯變項“S”和“P”，因而使思維形式結構成為有內容的具體思想“所有楊樹是落葉喬木”，并具有真值。又如用具體的命題“過度砍伐森林”和“會破壞生態(tài)平衡”，分別替換“如果P，那么Q”這一充分條件假言命題的思維形式結構中的邏輯變項“P”和“Q”，因而使思維形式結構成為有內容的具體思想“如果過度砍伐森林，那么會破壞生態(tài)平衡”，并具有真值。 4現代邏輯從形式上定義和說明邏輯規(guī)律。如命題邏輯中的邏輯規(guī)律就是重言式(一真值形式在命題變項的任意一組賦值下都真)，謂詞邏輯中的邏輯。規(guī)律就是普遍有效式(指一命題形式在任一解釋下都得到一個真命題)，傳統邏輯主要從內容、作用上定義和說明邏輯規(guī)律。邏輯規(guī)律有特殊和一般之分。如定義、劃分的規(guī)則，是特殊的邏輯規(guī)律，作用于定義、劃分的特殊范圍。同一律、矛盾律、排中律和充足理由律，是一般的、基本的邏輯規(guī)律，概括正確思維形式結構的基本性質和聯系，普遍作用于各類思維形式結構，支配各類思維形式結構的特殊規(guī)律(規(guī)則)，對思維具有強制的規(guī)范和約束作用，保證思維的確定性、一貫性、明確性和論證性。違反這些規(guī)律，會發(fā)生邏輯謬誤。5邏輯矛盾，是指一類思維形式結構，在任意代入下都表達虛假的思想內容。如“有S不是S”、“P并且非P”。命題邏輯中的矛盾式，指一真值形式在命題變項的任意一組賦值下都假。謂詞邏輯中的矛盾式(不可滿足式)，指一命題形式在任一解釋下都不能得到一個真命題。模態(tài)邏輯中的矛盾式(不可滿足式)，指一模態(tài)公式在任意模型的任一可能世界上都假。邏輯矛盾又叫自相矛盾。狹義的邏輯矛盾指同時肯定一對互相矛盾的命題(如“這是牛，并且這不是?！?。廣義的邏輯矛盾還包括同時肯定一對互相反對的命題(如“這是牛，并且這是馬”)，因為同時肯定一對互相反對的命題，相當于同時肯定兩對互相矛盾的命題(如“這是牛，并且這不是?！迸c“這是馬，并且這不是馬”)。6思維形式結構的規(guī)律，是正確的思維形式結構所具有的普遍、必然的性質和聯系。有特殊和一般之分。特殊的思維形式結構的規(guī)律，指各類思維形式結構的特殊規(guī)則，如定義、劃分的規(guī)則，只在各自的特殊范圍內起作用。一般的、基本的思維形式結構的規(guī)律，指同一律、矛盾律、排中律和充足理由律，概括正確思維形式結構的基本性質和聯系，普遍地作用于各類思維形式結構，支配著各類思維形式結構的特殊規(guī)則，對思維具有普遍的規(guī)范和約束作用，保證思維的確定性、一貫性、明確性和論證性。違反思維形式結構的規(guī)律，會發(fā)生邏輯謬誤。7邏輯學研究的核心問題，是推理及其有效性的判定。即回答什么樣的推理是正確的，什么樣的推理是錯誤的，如何判定。有效的演繹推理的形式結構，同時也是邏輯規(guī)律。邏輯學研究、運用邏輯規(guī)律，發(fā)現、排除邏輯矛盾，使推理的形式結構正確，即合乎邏輯。8語言、思維和邏輯這三者的關系，是研究對象與研究學科之間的關系。邏輯學以思維為研究對象，而思維與語言是一個不可分割的統一體。思維是人類認識以概念、判斷、推理的理性方式反映世界的活動和過程，是無聲無息、看不見聽不到的抽象心理活動，注定要與語言這種有聲有息、看得見聽得到的物質存在相結合。語言是思維的實現和載體，是思維的存在方式和物質外殼。思維的成果用語言記載和鞏固，用語言進行交流和交際。邏輯學自然要以語言為中介，借助于語言的手段，研究思維及其形式結構。9語言的第一個構成要素是基本符號，即素材，如漢語的字庫和標點符號。第二個構成要素是語形規(guī)則，即語法，決定一符號串在該語言中是否合式(成立)的標準。第三個構成要素是語義規(guī)則，即對合乎語法的語言進行解釋，賦予意義。10自然語言是社會實踐中約定俗成的、表達日常思維的語言。它通常有歧義，同一語詞、語句在不同語境下可以表達不同含義。人工語言是為進行科學研究，通過定義方式創(chuàng)立的語言。邏輯學運用的人工語言，稱為符號語言。符號語言區(qū)別于自然語言的重要特征是排除歧義。形式語言是高度抽象和嚴格定義的符號語言。用形式語言構造邏輯的形式系統。二、1一切真知都是來源于實踐的。5一切交通事故都是違章造成的。都是全稱肯定命題，具有共同的邏輯形式，其公式是： 所有S是P2一切鳥都是卵生的，一切蝙蝠都不是卵生的，所以切蝙蝠都不是鳥。7一切偶數都能被2整除，一切奇數都不能被2整除，所以一切奇數都不是偶數。都是直言三段論第二格的AEE式，具有共同的邏輯形式，其公式是： 所有P是M 所有S不是M 所以，所有S不是P 3只有水量合適，水稻才能豐收。8只有充分發(fā)揮知識分子在社會主義建設中的積極作用，我國的四個現代化才能實現。都是必要條件假言命題，具有共同的邏輯形式，其公式是： 只有P，才Q6如果被告已經死亡，就不再追究其刑事責任，現在被告已經死了，所以不再追究其刑事責任。9如果溶液是酸性的，就能使試紙變紅，這瓶溶液是酸性的，所以它能使試紙變紅。都是充分條件假言推理肯定前件式，具有共同的邏輯形式，其公式是： 如果P，那么Q P 所以，Q三、1如果兩個思想的表達具有相同的思維形式結構，則(C它們具有相同的邏輯常項)。2“要么p，要么q”與“或者p，或者q”這兩個命題形式，它們含有(C不同的邏輯常項，相同的變項)。3下列命題具有相同邏輯形式的有(A只要功夫深，鐵桿磨成針。D如果你有空，請立即回信。C要是寒潮到來，氣溫就會下降。D理論一旦掌握群眾，就會變成物質力量。都是充分條件假言命題，其共同的邏輯形式是：如果P，那么Q)。 4指出下列命題中，哪些具有共同的邏輯形式(D只有年滿18歲，才有選舉權。L只有發(fā)燒，才患肺炎。都是必要條件假言命題，其共同的邏輯形式是：只有P，才Q)。第二章 概念（P20）一、 1錯誤。正確的應為：對象所具有的性質和對象間具有的關系，統稱為對象的屬性。2錯誤。正確的應為：對象的本質屬性，是為該類對象共同具有并且僅僅為該類對象具有的屬性。3正確。4錯誤?？崭拍畹耐庋邮强疹?，并非沒有外延。5錯誤。同一個概念可以有不同的內涵，因而可以有不同的正確定義。6錯誤。對正概念下定義不能使用否定句，但對負概念下定義可以使用否錯誤。7只有具有屬種關系的概念外延之間，才存在內涵與外延的反變關系。二、1不正確。定義過寬。2不正確。定義過寬。3不正確?！坝赂摇焙汀坝赂业膽?zhàn)土”之間不存在屬種關系。4不正確?！跋柴R拉雅山”和“珠穆朗瑪峰”之間不存在屬種關系。 三、1C 2. ABC 3 .A 4 .B 5.B 6 .BC 7.B 8. B 9. BC 10 .A C 四、1從內涵和外延兩個方面。2從內涵方面。3分別從內涵和外延兩個方面。4分別從內涵和外延兩個方面。5分別從內涵和外延兩個方面。6分別從內涵和外延兩個方面。五、1“美術作品”是普遍概念、正概念。2“孔乙己”是單獨概念、正概念；“作品”是普遍概念、正概念。3“非司機”是普遍概念、負概念。4“中國女子排球隊”是單獨概念、正概念；“世界冠軍”是普遍概念、正概念。5“中國工人階級”是單獨概念、正概念。6“國家檢察機關”是普遍概念、正概念。六、1集合意義2非集合意義3非集合意義4集合意義5(1)集合意義 (2)非集合意義 (3)非集合意義6非集合意義7集合意義 七、1屬種關系2相關不相容：對立關系3交叉關系4種屬關系5不相關不相容關系6相關不相容：矛盾關系7全同關系8相關不相容：對立關系八、1 C D A B 2 A B C3、 B A D4、 D B A C5 D A B C九、1 A B C D 2 A B E C D 3 A B C4 D A BC 5 A C B6 A B C7 A C B8 D A C B9 A B C D十、1、限制為“教授”，概括為“勞動者”2、限制為“七律”，概括為“文學形式”3、限制為“公?！?，概括為“哺乳動物”4、限制為“美國”，概括為“國家”5限制為“發(fā)動機”，概括為“工業(yè)產品”。6限制為“中國歷史學”，概括為“科學”。 十一、1限制正確，概括錯誤。因為“學生”不是“知識分子”的種概念，例如，小學生不是知識分子。2限制錯誤，概括正確。因為“勇敢的人”是實體概念，“勇敢”是屬性概念，二者不具有種屬關系。3限制正確，概括錯誤。因為并非違法行為都是犯罪行為，二者不具有種屬關系。4限制錯誤，概括正確。因為“軍隊”和“人民戰(zhàn)士”不具有屬種關系。5限制和概括均錯誤。6限制和概括均正確。十二、1錯誤。不具有屬種關系。2“中國北方最大的城市”概括為“中國最大的城市”錯誤，因為中國北方最大的城市，并不一定是中國最大的城市，二者不具有種屬關系。其余正確。3錯誤。單獨概念不能限制。4“洪秀全”限制為“青年時代的洪秀全”錯誤，因為單獨概念不能限制。其余正確。 十三、 1錯誤。定義過寬。2錯誤。定義過窄。 3錯誤。定義不能使用比喻。4正確。5錯誤。循環(huán)定義。十四、1錯誤。定義過寬。2錯誤。定義過窄。3錯誤。定義過窄。4錯誤。定義過寬。十五、1錯誤。定義過寬。2錯誤。對正概念下定義不得使用否定句。3錯誤。定義過寬。十六、1是。2是。3不是4是。十七、1不是劃分，是分解。2是劃分。3是劃分。4不是劃分，是分解。十八、1不都正確，有“子項相容”的錯誤。例如，“長篇小說”“現代小說”兩個子項相容。2錯誤。劃分過寬，祖父母、兄弟、姐妹均不屬于直系親屬。3錯誤。子項相容。4正確。十九、 1答案是B。感染艾滋病的人數，和死于艾滋病菌的人數是兩個密切相關但并不相同的概念，不能把它們作為同一概念使用，題干的反駁正是指出了這一點。2答案是E。由條件，有圍棋愛好者愛好武術，并且所有的武術愛好者都不愛好健身操。因此不可能所有的圍棋愛好者都愛好健身操。3答案是A。由條件，每個橋牌愛好者都愛好圍棋，又每個圍棋愛好者都愛好武術或者健身操，因此，每個橋牌愛好者都愛好武術或者健身操。這與A項的斷定矛盾。4答案是A。I不可能是真實的。因為由題干，上述觀點，是瑞典科學家在1998年5月首次提出的，因此，芬蘭科學家不可能在1997年4月已經提出過。和都可能是真的。因為題干只是斷定，科學日報登載的消息是真實的，而沒有斷定消息中提到的瑞典科學家的觀點是真實的。第三章（P62）一、1、3、4、5、8正確； 2、6、7、9錯誤2、原因：命題邏輯中的復合命題，不僅必須包含與自身不同的支命題，而且須滿足，其支命題的真值可以唯一地確定自身的真值。二、pqpqpq1111=111=11010=010=00101=101=10000=100=1三、先把規(guī)則符號化：規(guī)則：PS 規(guī)則：只有D，才G 規(guī)則：AC 規(guī)則：DR 規(guī)則：只有R，才C 規(guī)則：AP規(guī)則：S（TQ） 規(guī)則：RF 規(guī)則：G注意：對規(guī)則所斷定的邏輯關系的準確分析，是進行正確推理的前提。例如：規(guī)則斷定：“A和P兩人中，只能上場一個”，只能分析表示為“AP”，而不能表示為“AP”?！癆P”的意思是“A和P中至少上場一個”，“AP”的意思是“A和P至多上場一個，即只能上場一個。推理過程如下：由規(guī)則和規(guī)則，得：只有D，才G G 所以， D （1）由（1）式和規(guī)則，得：DR D 所以， R （2）由（2）式和規(guī)則，得：只有R，才C R 所以， C （3）由（3）式和規(guī)則，得：AC C 所以，A （4）由（4）式和規(guī)則，得：AP A 所以， P （5）由（5）式和規(guī)則，得：PS P 所以， S （6）由（6）式和規(guī)則，得：S（TQ）S 所以， TQ （7）由（7）式，得：TQ 所以，T （8）由（7）式，得：TQ 所以，Q （9）由（2）式和規(guī)則，得：RF R 所以， F （10）綜上所推，得：A、C、R和G上場，由于排球賽有六個隊員，所以B、E也上場；F、Q、S、T、P和D均不上場。四、1、A 題干的論證運用的推理可整理為： 張先生點的菜中或者有川菜，或者有粵菜。 張先生點的菜中有川菜。 所以，張先生點的菜中沒有粵菜。這是相容選言推理在某些方面肯定否定式，是無效推理。要使題干在某些方面論證成立，必須加強這個推理的前提，使之成為有效推理。選項A如果為真，顯然就在于使得題干的推理由相容選言推理變?yōu)椴幌嗳葸x言推理。不相容選言推理的肯定否定式是有效式，因而推理有效，論證成立。2、E E項是個充分條件假言命題，其前件斷定了兩個條件：第一，氣溫在零攝氏度以上；第二，街上沒人穿雨衣。其后件斷定，天沒有下雨。 題干斷定：如果天下雨，并且氣溫在零攝氏度以上，則街上有人穿雨衣。因此，加上E項的第二個條件：街上沒人穿雨衣，可推出，天沒下雨，或者氣溫不在零攝氏度以上。由此，加上E項的第一個條件：氣溫在零攝氏度以上，可推出：天沒有下雨。這說明，根據題干的斷定，再加上以上兩條件，可推出天沒下雨，即如果題干的斷定為真，E項則一定為真。3、D 題干的斷定可整理為：（1） 如果是名牌產品，則一定質量過硬；（2） 如果質量過硬，則一定有高技術含量；（3） 如果忽視技術投資，則產品就不會有高技術含量。由（3）可得：（4）如果產品都有高技術含量，則不會忽視技術投資。由（1）（2）和（4），可推出I。由（1）和（2），可推出II。III不能由題干推出。4、C 諸選項中，A、B和C項都能削弱題干中書商的看法，但是，A項是說科幻小說的評論幾乎沒有影響，B項是說科幻小說的評論在科幻小說的讀者中幾乎沒有影響，C項是說科幻小說的評論對于它的讀者有負影響，即起了科幻小說的負促銷作用。顯然，C項比A和B項更能削弱題干。D項不能削弱題干。E項涉及的只是個例，即使能削弱題干，力度也不大。5、A 因為如果有吸煙史的人在1995年超過世界總人口的65%，由題干，這個百分比已經接近于有吸煙史的肺癌患者的比例，又考慮到事實上患肺癌的主要是成年人，因此，吸煙史的肺癌患者的比例，絕不會高于有吸煙史的人占世界總人口的比例。這說明吸煙并沒有增加患肺癌的危險。其余各項均不能削減題干的結論。五、1 B 2 B 3 AC 4 ABCD 5 AB 6 A 7 A 8 A 9 AC 10 ABCD 六、1 必要條件 2、充分條件 3、不構成條件關系 4、充要條件 5、必要條件七、1、 這個商店的商品或者價不廉，或者物不美。2、 昨晚小張和小李都沒有值班。3、 人大膽，但地不高產。4、 經濟不發(fā)達地區(qū)也有環(huán)境治理問題。5、 老張和老李都當代表，或者都不當代表。6、 衣食足但不能知榮辱，或者衣食不足但能知榮辱。7、 認識字母但學不好外語。8、 孩子每天不吃巧克力也長得好。八、1、 令p表示“明天我去看電影”，q表示“明天我去看展覽”，r表示“明天我去游泳”。真值形式為：(pq)(pq)r)2、 令p表示“明天天晴”，q表示“單位加班”，r表示“明天我們去游泳”，s表示“我們明天去劃船”。真值形式為：(pq)(rs)3、 令p表示“科學家的預見是正確的”，q表示“我們從現在起就重視環(huán)境保護”，r表示“人類終有一天無法在地球上生存”。真值形式為：p(qr)4、 令p表示“在場內吸煙”（主語省略），q表示“在場內隨地吐痰”，r表示“在場內亂扔廢棄物”，s表示“被處以罰款”。真值形式為：(pqr)s九、pq(p(qq)p(pq)(pq)(pq)p)q11(1(11)1=1(11)(11)=0(11)1)1=110(1(00)1=1(10)(10)=1(10)1)0=101(0(11)0=1(01)(01)=0(01)0)1=000(0(00)0=1(00)(00)=1(00)0)0=1類型重言式非重言的可真式非重言的可真式十、1、 推理形式是（命題變項的設定略，下同）：(pq)p)q，錯誤，相容選言推理的肯定否定式，無效。2、 推理形式是：(pq)p)q，錯誤，充分條件假言推理的否定前件式，無效。3、 推理形式是：(pq)q)p，錯誤，充分條件假言推理的肯定后件式，無效。4、 推理形式是：(pq)（q p），正確，對于一個充分條件假言命題，由否定其后件，可否定其前件。十一、1、p(pp)(pp)(pp)(pp)111001推理無效推理有效2、pq(pq)(pq)111101011001推理有效十二、1、求(pq)(pq)的合取范示：消去: (pq)(pq) (1)內移: (pq)(pq) (2)消去 ： (pq)(pq) (3)（3）式按合取分配律展開，得：(ppq) (qpq) (4)（4）式即為合取范示，是重言式，因此，該式是重言式。 2、求(pq)(pq)析取范示：消去: （pq）(pq)）（(pq) (pq)） （1） 內移: （pq）(pq)）（(pq) (pq)） （2）消去 ： （pq）(pq)）（(pq)(pq)） （3）化簡： (pq)(pq) （4）（4）式按析取分配律展開，得：(pqp) (pqq) (5)(5)式即為析取范示，是矛盾式，因此，該式是矛盾式。3、求q(pq)p)的合取范示：消去: q(pq)p) (1)內移: q（(pq)p) (2)消去 ： q（(pq)p) (3)(3)式按合取分配律展開，得： (qpp)(qqp) (4)(4)式即為合取范示，是重言式，因此，該式是重言式。4、求(q(pq)p的合取范示：消去： (q(pq)p (1)內移: (q(pq)p (2)內移: (q(pq)p (3)消去 ： (q(pq)p (4)化簡： (pq)p (5)(5)式按合取分配律展開，得：（pp）(qp) （6）（6）式即為合取范示，因此，該式不是重言式。(5)式按析取分配律展開，得： (pq)p （7）（7）式即為析取范求，不是矛盾式，因此，該式不是矛盾式。因此，該式是非重言的可真式。十三、令：p表示“上帝創(chuàng)世說的故事是真空的”，q表示“地球存在的頭三天沒有太陽”，r表示“一天的概念是由太陽來定義的”。則該推理的推理形式為：(pq)r(rq)p求該式的合取范示：消去： (pq)r(rq)p (1)內移： (pq)r(rq)p (2) （ pq)r(rq)p (3)消去： （pq)r (rq)p (4)按合取分配律展開，得：(prrp)(prqp)(qrrp)(qrqp) (5)(5)式即為合取范示，是重言式，因此，該推理有效。十四、1、令：p表示“小張去春游”，q表示“小李去春游”，r表示“小王去春游”。則該推理的推理形式為：(pq)r)p）r構造自然推理如下：(1)1 p P(2)1 pq T(1)(3)1 (pq) T(2)(4)2 (pq)r P(5)1.2 r T(3)(4)推理有效。2、令：p表示“在有限長的線段L上存在無限多個點”，q表示“這些點有長度”，r表示“L無限長”，表示“L沒有長度”。則該推理的推理形式為：(（p（qr）(qs)）(rs)）p構造自然推理如下：(1)1 p（qr）(qs)） P(2)2 rs P(3)3 p (引入) P(4)1.3 (qr）(qs) T(1)(3)(5)1.3 qr T(4)(6)1.3 qs T(4)(7)2 r T(2)(8)2 s T(2)(9）1.2.3 q T(5)(7)(10)1.2.3 q T(6)(8)(11)1.2.3 q T(10)(12)1.2.3 qq T(11)(9)(13)1.2 p 歸謬（3）（12）推理有效。3、令：p表示“談判要舉行”，q表示“定于周三”，r表示“定于周到五”，表示“總經理能出席”。則該推理的推理形式為：(（p（qr）(rs)s）(qp)構造自然推理如下：(1)1 p（qr） P(2)2 rs P(3)3 s P(4)4 q(引入) P(5)2.3 r T(2)(3)(6)2.3.4 qr T(4)(5)(7)2.3.4 (qr) T(6)(8)1.2.3.4 p T(1)(7)(9）1.2.3 qp D(4)(8)推理有效。十五、1、約定“4”表示“4號上場”；“4”表示“4號不上場”。以此類推。先把規(guī)則符號化：規(guī)則：46 規(guī)則：只有1，才3 規(guī)則：要么3，要么6 規(guī)則：（912）4 規(guī)則：112推理過程如下：由規(guī)則，得： 112 所以，1 （1）由（1）式和規(guī)則，得： 只有1，才3 1 所以，3 （2）由（2）式和規(guī)則，得： 要么3，要么6 3 所以，6 （3） 由（3）式和規(guī)則，得： 46 6 所以，4 （4） 由（4）式和規(guī)則，得： （912）4 4 所以，（912） （5）由（5）式得： （912） 所以，912 （6）由規(guī)則，得： 112 所以，12 （7）由（6）式和（7）式，得： 912 12 所以，9因此，9號不該上場。2、約定：“甲”表示“甲作案”，“甲”表示“甲沒作案”。以次類推。 甲說：“甲乙” 乙說：“乙丙” 丙說：“甲乙” 丁說：“甲丙” 分析和推理： 甲和丙的斷定互相矛盾，因此其中必有一人說真話。又四人中只有一人說真話。因此，乙和丁說假話。由丁說假話，得： （甲丙） 所以，甲丙即甲和丙都沒有作案。 由乙說假話，得： （乙丙） 所以，乙丙即乙和丙兩人中至少有一個作案，因為已推出丙沒有作案，所以，乙作案。因此，甲沒作案，乙作案，可知甲說真話。3、假設甲不作案，則由條件，丙也不會作案；如果甲和丙都不作案，則由條件，乙不會單獨作案，這樣，甲、乙、丙均沒有作案，這和條件矛盾。因此，假設不成立，甲一定作案。4、這個騎士說：“我不是富有的騎士”。這句話不可能是無賴說的，否則無賴就說真話了；這句話也不可能是富有的騎士說的，否則他就說假話了。因此，這句話只可能是貧窮的騎士說的。5、智者問某一個士兵，不妨問甲：“乙將如何回答，他手里拿的是毒酒還是美酒這個問題”。如果甲說真話，則乙說假話，這樣，甲就把一句假話真實地告訴智者，智者聽到的是一句假話；如果甲說假話，則乙說真話，這樣，甲就把一句真話篡改成假話告訴智者，智者聽到的還是一句假話。總之，智者聽到的總是一句假話。只要否定這句假話，就能確定哪瓶是美酒。如：如果甲回答：“乙將回答他手里拿的是毒酒”，那么，事實上乙手里拿的一定是美酒。6、令p表示“選派小方”，q表示“選派小王”。則甲的意見是：pq 乙的意見是：qp 丙的意見是：(pq)(pq)可用真值表解答此題：pqpqqp(pq)(pq)11110101110101100100上述真值表顯示，只有在p =1并且q=0的情況下，三個真值形式同真。這說明，只有“選派小方，不選派小王”的方案，同時滿足甲、乙和丙三位領導的意見。7、由條件（4）和（5），可推出“乙是罪犯”。由“乙是罪犯”和條件（3），可推出“甲是罪犯”。由“甲、乙都是罪犯”和條件（1）和（2），可推出不能確認丙是罪犯。8、甲關于A當上律師的猜測不能成立，因為否則丙的兩個猜測都不成立。因此，甲關于B當上法官的猜測成立。由此可推出：C當上了律師，A當上了檔案官。9、約定：“甲”表示“甲參加了公務員考試”，“甲”表示“甲沒有參加公務員考試”。以此類推。 條件（1）：（甲乙）丙 條件（2）：只有乙，才丁 條件（3）：甲丙由條件（3），得： 甲丙 所以，丙，甲 （1）由（1）式和條件（1），得： （甲乙）丙 丙 所以，甲乙 （2）由（2）式和（1）式，得： 甲乙 甲 所以，乙 （3）由（3）式和條件（2），得： 只有乙，才丁 乙 所以，丁 （4）因此，乙和丁都沒有參加考試。10、假設句（3）是真命題，則句（1）和句（2）必有一個假命題。句（1）和句（2）都是充分條件假言命題。一個充分條件假言命題為假，當且僅當肯定其前件并且否定其后件的聯言命題真，而肯定句（1）和句（2）的前件，就是斷定李明不是木工，或者張元不是木工，這和句（3）是真命題的假設矛盾。因此，句（3）是假命題，句（1）和句（2）是真命題。由句（3）是假命題，可知事實上李明不是木工，或者張元不是木工，由此再依據句（1）和句（2），可推出王強電工，或者趙元是電工。11、由條件（3）和（8），可推出：A不是謀害者；由A不是謀害者，和條件（5），可推出：作案不在雨前；由作案不在雨前，和條件（6），可推出：張先生臨死前搏斗過；由張先生臨死前搏斗過，和條件（7），可推出：B不是謀害者；由A和B都不是謀害者，和條件（1），可推出C是謀害者。12、由條件（4）（5），可推出：乙的供詞正確；由乙的供詞正確，和條件（3），可推出：謀殺發(fā)生在午夜前；由謀殺發(fā)生在午夜前，和條件（2），可推出：甲不是兇手；由甲不是兇手，和條件（1），可推出：乙是兇手。13、假設B進入金庫，由條件（3），可推出C未進入；由C未進入，和條件（4），可推出D未進入；由D未進入，和條件（2），可推出E進入；由E進入，和條件（5），可推出A和D都進入過，矛盾！因此假設不成立，B沒進入 。由B沒進入，和條件（3），可推出C進入。由C進入，依據諸條件，可依次推出D進入，A、B、E均未進入。14、假設句（3）假，即事實上甲第一，由于句（1）和句（2）中必有一假，總能推出：甲不是第一，矛盾！因此，假設不成立，句（3）真，即事實甲不是第一。因為句（1）和句（2）假，可得出：乙第二，丙第三，丁第一，甲第四。15、分析：假設句（1）和句（2）都假，則由句（1）假，可得：小周和小陳都學日語；由句（2）假，可得：小周不學日語而小陳學日語。這樣，可得小周學日語并且小周不學日語，矛盾！因此，假設不成立，句（1）和句（2）中必有一真。又由條件，四句中只有一真，因此，句（3）和句（4）必假。由句（3）假可得： （5）小劉不學日語或小陳不學日語。由句（4）假，可得： （6）小周學日語。又句（1）或句（2）假都可得： （7）小陳學日語由句（5）和句（7）可得： （8）小劉不學日語因此，結論是：小周和小陳學日語，小劉不學日語。第四章 詞項邏輯（P94）一、1、5、7、9、11正確2、錯誤。直言命題的主項和謂項統稱為詞項。3、錯誤。邏輯上的“有”指“存在”，即“至少有一個”，不排除“全部”，因此，說“有的S是P”含有“并非所有S都是P”之意是不正確的。4、錯誤。例如，當得知一全稱命題為假時，只能利用矛盾關系推出相對的特稱命題為真，對于其他兩種命題我們不能利用其他兩種對當關系來確定其真假。6、錯誤。具有下反對關系的兩個命題，如果已知其中的一個命題為真，不能推出另一個例題的真假；如果已知其中的一個命題為假，則可以推出另一個命題為真。8、錯誤。我們不能以三段論的前提的位置確定它是大前提還是小前提，只能根據它含有大項還是小項來判斷，含有大項的是大前提，含有小項的是小前提。10、錯誤。只能說一個正確的三段論，如果前提有特稱命題，則結論一定為特稱命題。但可以出現前提都是全稱命題而結論是特稱命題，如AAI式。二、1、主項、謂項、量項、聯項、聯項、量項 2、非黨員 3、A與E的主項及E與O的謂項、I與O的主項及I與A的謂項 4、I，O，真假不定，真三、1、直接推理與間接推理的區(qū)別在于前者的前提僅有一個命題，而后者的前提至少有兩個命題。2、因為S在SOP中是不周延的，如果對之簡單換位得到POS將使S在其中周延，違反換位的第三條規(guī)則。3、三段論的公理：一類對象的全部是什么或不是什么，那么這類對象中的部分對象也是什么或不是什么，或者就，當肯定或否定全部時，也就肯定或否定了部分。4、在三段論的結論中所確定的大項與小項的關系是因為前提里的中項具有媒介作用，它在前提中分別與大項和小項有著一定的聯系，因此通過這種聯系才有大項與小項在結論中的確定的聯系。如果在前提中兩個聯系都是否定命題，則大項與小項在前提中都分別與中項互相排斥，因而大項與小項不能通過中項建立確定的聯系，因此也就不能推出確定的結論。5、遵守了五條基本規(guī)則就必定遵守了各格的具體規(guī)則，但遵守各格的具體規(guī)則未必就遵守了五條基本規(guī)則。6、省略三段論可使語言簡練，有力。在人們的實際思維中被廣泛運用。但由于它省略了其