【正文】 97年4月已經(jīng)提出過(guò)。Ⅱ和Ⅲ都可能是真的。因?yàn)轭}干只是斷定，《科學(xué)日?qǐng)?bào)》登載的消息是真實(shí)的，而沒有斷定消息中提到的瑞典科學(xué)家的觀點(diǎn)是真實(shí)的。第三章（P62）一、8正確； 9錯(cuò)誤原因：命題邏輯中的復(fù)合命題，不僅必須包含與自身不同的支命題，而且須滿足，其支命題的真值可以唯一地確定自身的真值。二、pqp→q172。p∨q111→1=1172。1∨1=1101→0=0172。1∨0=0010→1=1172。0∨1=1000→0=1172。0∨0=1三、先把規(guī)則符號(hào)化：規(guī)則①：172。P→172。S 規(guī)則②：只有172。D，才G 規(guī)則③：A←→C 規(guī)則④：D←→172。R 規(guī)則⑤：只有172。R，才172。C 規(guī)則⑥：172。A∨172。P規(guī)則⑦：172。S→（172。T∧172。Q） 規(guī)則⑧：172。R∨172。F 規(guī)則⑨：G注意：對(duì)規(guī)則所斷定的邏輯關(guān)系的準(zhǔn)確分析，是進(jìn)行正確推理的前提。例如：規(guī)則⑥斷定：“A和P兩人中，只能上場(chǎng)一個(gè)”，只能分析表示為“172。A∨172。P”，而不能表示為“A∨P”?！癆∨P”的意思是“A和P中至少上場(chǎng)一個(gè)”，“172。A∨172。P”的意思是“A和P至多上場(chǎng)一個(gè)，即只能上場(chǎng)一個(gè)。推理過(guò)程如下：由規(guī)則②和規(guī)則⑨，得：只有172。D，才G G 所以， 172。D （1）由（1）式和規(guī)則④，得：D←→172。R 172。D 所以， R （2）由（2）式和規(guī)則⑤，得：只有172。R，才172。C R 所以， C （3）由（3）式和規(guī)則③，得：A←→C C 所以，A （4）由（4）式和規(guī)則⑥，得：172。A∨172。P A 所以， 172。P （5）由（5）式和規(guī)則①，得：172。P→172。S 172。P 所以， 172。S （6）由（6）式和規(guī)則⑦，得：172。S→（172。T∧172。Q）172。S 所以， 172。T∧172。Q （7）由（7）式，得：172。T∧172。Q 所以，172。T （8）由（7）式，得：172。T∧172。Q 所以，172。Q （9）由（2）式和規(guī)則⑧，得：172。R∧172。F R 所以， 172。F （10）綜上所推，得：A、C、R和G上場(chǎng)，由于排球賽有六個(gè)隊(duì)員，所以B、E也上場(chǎng)；F、Q、S、T、P和D均不上場(chǎng)。四、A 題干的論證運(yùn)用的推理可整理為： 張先生點(diǎn)的菜中或者有川菜，或者有粵菜。 張先生點(diǎn)的菜中有川菜。 所以，張先生點(diǎn)的菜中沒有粵菜。這是相容選言推理在某些方面肯定否定式，是無(wú)效推理。要使題干在某些方面論證成立，必須加強(qiáng)這個(gè)推理的前提，使之成為有效推理。選項(xiàng)A如果為真，顯然就在于使得題干的推理由相容選言推理變?yōu)椴幌嗳葸x言推理。不相容選言推理的肯定否定式是有效式，因而推理有效，論證成立。E E項(xiàng)是個(gè)充分條件假言命題，其前件斷定了兩個(gè)條件：第一，氣溫在零攝氏度以上；第二，街上沒人穿雨衣。其后件斷定，天沒有下雨。 題干斷定：如果天下雨，并且氣溫在零攝氏度以上，則街上有人穿雨衣。因此，加上E項(xiàng)的第二個(gè)條件：街上沒人穿雨衣，可推出，天沒下雨，或者氣溫不在零攝氏度以上。由此，加上E項(xiàng)的第一個(gè)條件：氣溫在零攝氏度以上，可推出：天沒有下雨。這說(shuō)明，根據(jù)題干的斷定，再加上以上兩條件，可推出天沒下雨，即如果題干的斷定為真，E項(xiàng)則一定為真。D 題干的斷定可整理為：（1） 如果是名牌產(chǎn)品，則一定質(zhì)量過(guò)硬；（2） 如果質(zhì)量過(guò)硬，則一定有高技術(shù)含量；（3） 如果忽視技術(shù)投資，則產(chǎn)品就不會(huì)有高技術(shù)含量。由（3）可得：（4）如果產(chǎn)品都有高技術(shù)含量，則不會(huì)忽視技術(shù)投資。由（1）（2）和（4），可推出I。由（1）和（2），可推出II。III不能由題干推出。C 諸選項(xiàng)中，A、B和C項(xiàng)都能削弱題干中書商的看法，但是，A項(xiàng)是說(shuō)科幻小說(shuō)的評(píng)論幾乎沒有影響，B項(xiàng)是說(shuō)科幻小說(shuō)的評(píng)論在科幻小說(shuō)的讀者中幾乎沒有影響，C項(xiàng)是說(shuō)科幻小說(shuō)的評(píng)論對(duì)于它的讀者有負(fù)影響，即起了科幻小說(shuō)的負(fù)促銷作用。顯然，C項(xiàng)比A和B項(xiàng)更能削弱題干。D項(xiàng)不能削弱題干。E項(xiàng)涉及的只是個(gè)例，即使能削弱題干，力度也不大。A 因?yàn)槿绻形鼰熓返娜嗽?995年超過(guò)世界總?cè)丝诘?5%，由題干，這個(gè)百分比已經(jīng)接近于有吸煙史的肺癌患者的比例，又考慮到事實(shí)上患肺癌的主要是成年人，因此，吸煙史的肺癌患者的比例，絕不會(huì)高于有吸煙史的人占世界總?cè)丝诘谋壤?。這說(shuō)明吸煙并沒有增加患肺癌的危險(xiǎn)。其余各項(xiàng)均不能削減題干的結(jié)論。五、1 B 2 B 3 AC 4 ABCD 5 AB 6 A 7 A 8 A 9 AC 10 ABCD 六、1 必要條件 充分條件 不構(gòu)成條件關(guān)系 充要條件 必要條件七、 這個(gè)商店的商品或者價(jià)不廉，或者物不美。 昨晚小張和小李都沒有值班。 人大膽，但地不高產(chǎn)。 經(jīng)濟(jì)不發(fā)達(dá)地區(qū)也有環(huán)境治理問(wèn)題。 老張和老李都當(dāng)代表，或者都不當(dāng)代表。 衣食足但不能知榮辱，或者衣食不足但能知榮辱。 認(rèn)識(shí)字母但學(xué)不好外語(yǔ)。 孩子每天不吃巧克力也長(zhǎng)得好。八、 令p表示“明天我去看電影”，q表示“明天我去看展覽”，r表示“明天我去游泳”。真值形式為：(p∧q)∨(172。(p∨q)→r) 令p表示“明天天晴”，q表示“單位加班”，r表示“明天我們?nèi)ビ斡尽保瑂表示“我們明天去劃船”。真值形式為：(p∧172。q)→(r∨s) 令p表示“科學(xué)家的預(yù)見是正確的”，q表示“我們從現(xiàn)在起就重視環(huán)境保護(hù)”，r表示“人類終有一天無(wú)法在地球上生存”。真值形式為：p→(172。q→r) 令p表示“在場(chǎng)內(nèi)吸煙”（主語(yǔ)省略），q表示“在場(chǎng)內(nèi)隨地吐痰”，r表示“在場(chǎng)內(nèi)亂扔廢棄物”，s表示“被處以罰款”。真值形式為：(p∨q∨r)→s九、pq(p→(q∧172。q))→172。p(172。p→q)←→(p∧172。q)((p→q)∧172。p)→172。q11(1→(1∧172。1))→172。1=1(172。1→1)←→(1∧172。1)=0((1→1)∧172。1)→172。1=110(1→(0∧172。0))→172。1=1(172。1→0)←→(1∧172。0)=1((1→0)∧172。1)→172。0=101(0→(1∧172。1))→172。0=1(172。0→1)←→(0∧172。1)=0((0→1)∧172。0)→172。1=000(0→(0∧172。0))→172。0=1(172。0→0)←→(0∧172。0)=1((0→0)∧172。0)→172。0=1類型重言式非重言的可真式非重言的可真式十、 推理形式是（命題變項(xiàng)的設(shè)定略，下同）：((p∨q)∧p)→172。q，錯(cuò)誤，相容選言推理的肯定否定式，無(wú)效。 推理形式是：((172。p→172。q)∧p)→q，錯(cuò)誤，充分條件假言推理的否定前件式，無(wú)效。 推理形式是：((p→q)∧q)→p，錯(cuò)誤，充分條件假言推理的肯定后件式，無(wú)效。 推理形式是：(p→172。q)→（q →172。p），正確，對(duì)于一個(gè)充分條件假言命題，由否定其后件，可否定其前件。十一、p(p→172。p)→(p∧172。p)(p←→172。p)→(p∧172。p)111001推理無(wú)效推理有效pq172。(172。p∧q)→(172。p→172。q)111101011001推理有效十二、求(p→q)→(172。p∨q)的合取范示：消去→: 172。(172。p∨q)∨(172。p∨q) (1)內(nèi)移172。: (172。172。p∧172。q)∨(172。p∨q)) (2)消去172。172。 ： (p∧172。q)∨(172。p∨q) (3)（3）式按合取分配律展開，得：(p∨172。p∨q) ∧ (172。q∨172。p∨q) (4)（4）式即為合取范示，是重言式，因此，該式是重言式。 求(p∧172。q)←→(172。p∨q)析取范示：消去←→: （（p∧172。q）∧(172。p∨q)）∨（172。(p∧172。q)∧172。 (172。p∨q)） （1） 內(nèi)移172。: （（p∧172。q）∧(172。p∨q)）∨（(172。p∨172。172。q)∧ (172。172。p∧172。q)） （2）消去172。172。 ： （（p∧172。q）∧(172。p∨q)）∨（(172。p∨q)∧(p∧172。q)） （3）化簡(jiǎn)： (p∧172。q)∧(172。p∨q) （4）（4）式按析取分配律展開，得：(p∧172。q∧172。p) ∨ (p∧172。q∧q) (5)(5)式即為析取范示，是矛盾式，因此，該式是矛盾式。求172。q→((p→q)→172。p)的合取范示：消去→: 172。172。q∨(172。(172。p∨q)∨172。p) (1)內(nèi)移172。: 172。172。q∨（(172。172。p∧172。q)∨172。p) (2)消去172。172。 ： q∨（(p∧172。q)∨172。p) (3)(3)式按合取分配律展開，得： (q∨p∨172。p)∧(q∨172。q∨172。p) (4)(4)式即為合取范示，是重言式，因此，該式是重言式。求(172。q→(p→q))→172。p的合取范示：消去→： 172。(172。172。q∨(172。p∨q))∨172。p (1)內(nèi)移172。: (172。172。172。q∧172。(172。p∨q))∨172。p (2)內(nèi)移172。: ((172。172。172。q∧(172。172。p∧172。q))∨172。p (3)消去172。172。 ： (172。q∧(p∧172。q))∨172。p (4)化簡(jiǎn)： (p∧172。q)∨172。p (5)(5)式按合取分配律展開，得：（p∨172。p）∧(172。q∨172。p) （6）（6）式即為合取范示，因此，該式不是重言式。(5)式按析取分配律展開，得： (p∧172。q)∨172。p （7）（7）式即為析取范求，不是矛盾式，因此，該式不是矛盾式。因此，該式是非重言的可真式。十三、令：p表示“上帝創(chuàng)世說(shuō)的故事是真空的”，q表示“地球存在的頭三天沒有太陽(yáng)”，r表示“‘一天’的概念是由太陽(yáng)來(lái)定義的”。則該推理的推理形式為：((p→q)∧r∧172。(r∧q))→172。p求該式的合取范示：消去←→： 172。((172。p∨q)∧r∧172。(r∧q))∨172。p (1)內(nèi)移172。： (172。(172。p∨q)∨172。r∨172。172。(r∧q))∨172。p