逻辑学导论练习题参考答案

1逻辑学导论（2）第一章习题解答1古希腊有一位智者叫普罗泰哥拉【答案】D【解析】题干中普罗泰哥拉的推理形式为PQRQPRQ选项和中的推理形式也都是如此，而选项中的推理形式则是PQPQQP选项中的推理形式是PQQP2只要呆在学术界【答案】C【解析】题干中，学院生活与日常生活的差别在于“只有沉浸在日常生活中，才能靠直觉把握生活的种种情感”。这是导出论题“小说家呆在学术界不能变伟大”的直接依据。而这则意味着对日常生活中情感的直觉把握乃是小说家成就其伟大的一个必要条件，没有前者一定没有后者。故选C。其余各选项均非原论证所依赖的假设。例如，A项所支持的论题实际上是呆在学术界有助于小说家变得伟大，与原论题刚好相反。3上个世纪60年代初以来【答案】C【解析】假设C项的断定不成立，即假设上个世纪60年代造成新加坡人死亡的那些主要疾病，到本世纪，在该国的发病率没有实质性的降低，并且对这些疾病的医治水平也没有实质性的提高，那么，新加坡的人均预期寿命不可能不断上升，更难以在本世纪初成为世界之最。这说明，如果题干的断定为真，则C项为真，即从题干可以推出C项。其余各项均不能从题干推出。例如，A项不能从题干推出。因为尽管新加坡的人均预期寿命是世界之最，但心血管病仍完全可能是造成目前新加坡人死亡的主要杀手。4地球上之所以有生命出现【答案】C【解析】题干中的论证过程即因为其他星球不可能同时具备地球上生命形式赖以存在的两个必要条件，所以其他星球不可能存在与地球上一样的生命。其中隐含着这样一个前提，即C在其他星球上的生命形式需要像在地球上的生命形式一样的生存条件。其余选项均非原论证所必须的前提条件。例如，A项中“惟一条件”的说法显然与题干中“至少具备了以下两个条件”的说法相悖，而B项的含义则与原论证的结论相同。5对于绝大多数人来说，大学【答案】E【解析】题干中谈到读大学是浪费钱，并举出一年挣10万元的人中多数没有大学文凭，进而劝人们最好不要去读大学，可见在说话者的心目中，物质方面的成就要比学识更重要，即有信念。另外，题干中还谈到在大学里学到的一切在工作中皆不实用，想多挣钱的人上大学是找错了门，可见在说话者的心目中，衡量读大学有无价值的唯一标准，就是看它能不能教会人们多挣钱，即有信念。此外，信念和在题干中皆找不到依据，显然皆不为说话者所具备。故选E。61如果上述断定为真，且钱选修历史【答案】A2【解析】根据已知条件，初中生王选修物理，则必有一高中生选修物理。但三位高中生中，已知钱选修历史，故不能选修物理；赵选修的是文学或经济，故亦不能选修物理。由此可知，另一位高中生即孙必定选修物理。即应选A。其余各项均不能必然推知为真。例如，B项断定赵选修文学，然而没有任何条件可以表明赵不能选修经济。62如果题干的断定为真，且有人选修经济【答案】B【解析】根据已知条件，假设钱和孙两位高中生都选修经济，则二人皆不能选修物理。又因为另一位高中生赵选修的是文学或经济，故亦不能选修物理。这样，三位高中生皆不能选修物理。但是因为初中王选修了物理，根据已知条件，又必有一高中生选修物理。于是出现矛盾。说明假定不能成立，即钱和孙两位高中生不可能同时选修经济。其余各项所述的情况均有可能存在。例如，A项断定高中生赵和钱同时选修经济，此时只要令高中生孙选修物理，初中生张和李皆选修经济，即符合所有已知条件。7新近被介绍的DNA酶解图谱是一种生化程序【答案】C【解析】假定C为真，则存在各种不同的亚族群体，且每一群体中所有个体的DNA图谱完全相同。这将从根本上否定题干中所说的前提，从而使题干中的观点失去必要的支持。其余各项即使为真，也均不能构成对题干中观点的更严重质疑。例如，E项为真时，至多表明两个人有可能具有相同或相似的DNA图谱，但由于不具有C中所述情况的普遍性，故不能比C更为有力地否定题干中所说的前提，进而反驳题干中所述的观点。8家用电炉有三个部件加热器【答案】D【解析】根据题干的条件，一个电炉，如果其加热的温度超出了温度旋钮的最高读数，则说明当温度达到恒温器的温度旋钮所设定的读数时，加热器并未自动关闭，即恒温器出现了故障；同时也说明当温度超出温度旋钮的最高读数时，加热器并未自动关闭，即安全器出现了故障。也就是说，一个电炉，如果其加热的温度超出了温度旋钮的最高读数，则它的恒温器和安全器一定都出现了故障。因此，D项作为题干的结论成立。因为D项成立，所以E项不成立。A项显然不成立。例如在加热器不工作的情况下，恒温器和安全器即使都出现故障，电炉的温度也不会超出温度旋钮的最高读数。B项不成立。因为一个电炉，如果其加热的温度超出了温度旋钮的设定读数但加热器未关闭，只能说明恒温器出现故障，不能说明安全器出现故障。C项不成立。因为一个电炉加热器自动关闭，可能是恒温器出现故障，但安全器工作正常。9目前全球的粮食年产量比满足全球人口的【答案】A【解析】题干中基于目前全球的粮食年产量比满足全球人口的最低粮食需求略高的事实，就断定将来不可能因粮食短缺而引发饥饿危机。这表明说话者相信将来会和目前的情况一样，不会发生粮食短缺现象。故选A。其余各项均不符合题干。例如，B项断定将来不会有饥饿危机，但是题干中所说的却是饥饿危机的根源在于分配不公而不是生产不够，显然不相符合。10赵甲与他的武林宿敌吴方狭路相逢【答案】C【解析】I限定了赵甲下一招只能使出三般武艺之一。但是根据II和IV，可知其不能使出狐步鸳鸯腿。再根据III，可知其必须使出九曲连环棍。故选C。3其余选项皆不正确。例如，A项用狐步鸳鸯腿，则根据情形II，八卦勾魂刀会被吴方打掉，与情形IV冲突。B项使八卦勾魂刀，即不用狐步鸳鸯腿，则根据情形III，又必须挥九曲连环棍，同样存在冲突。D项和E项含义相同，均与情形三冲突，即或者用狐步鸳鸯腿，或者不用狐步鸳鸯腿（从而必须挥九曲连环棍），二者必居其一，不可能狐步鸳鸯腿和九曲连环棍都不用，当然更不能三般武艺一样也不使。逻辑学导论（2）第二章习题解答一、请将下述命题符号化，如果是复合命题，请根据其中所含的主联结词，指出是何种复合命题1阳光和红霞是好朋友。【解】P。这是一个简单命题，应作为一个整体看待。2贝多芬和莫扎特是伟大的作曲家。【解】设P表示“贝多芬是伟大的作曲家”，Q表示“莫扎特是伟大的作曲家”，则上述命题可表示为PQ。这是一个联言命题。3说西红柿是蔬菜是假的。【解】设P表示“西红柿是蔬菜”，则上述命题可表示为P。这是一个负命题。4大连队将获得今年的甲A冠军，否则，冠军就是国安队。【解】设P表示“大连队将获得今年的甲A冠军”，Q表示“国安队将获得今年的甲A冠军”，则上述命题可表示为PQ。这是一个选言命题。5尽管并非所有的人都是自私的，但仍然有不少人很自私。【解】设P表示“所有的人都是自私的”，Q表示“有不少人很自私”，则上述命题可表示为PQ。这是一个联言命题。6如果我们再不降低生育率，那我们就会连坐下来的空间都没有了。【解】设P表示“我们再不降低生育率”，Q表示“我们连坐下来的空间都没有了”，则上述命题可表示为PQ。这是一个假言命题。7即使我们提高税收，财政赤字仍不会减少，除非我们削减政府开支。【解】设P表示“我们提高税收”，Q表示“财政赤字会减少”，R表示“我们削减政府开支”，则上述命题可表示为RPQ。这是一个假言命题。8钱不是万能的，但没有钱是万万不行的。【解】设P表示“钱不是万能的”，Q表示“没有钱是万万不行的”，则上述命题可表示为PQ。这是一个联言命题。9如果你是草，羊会站在你的身上，践踏你，啃食你，不管你是它的亲人还是朋友；如果你是参天大树，羊会仰望你，赞美你，无论你是残疾还是孩子。【解】设P1表示“你是草”，Q1表示“羊会站在你的身上践踏你”，R1表示“羊会站在你的身上啃食你”，S1表示“你是它的亲人”，T1表示“你是它的朋友”，则上述命题的前半部分可表示为P1S1T1Q1R1。设P2表示“你是参天大树”，Q2表示“羊会仰望你”，R2表示“羊会赞美你”，S2表示“你是残疾”，T2表示“你是孩子”，则上述命题的后半部分可表示为P2S2T2Q2R2。整个命题可表示为（P1S1T1Q1R1）（P2S2T2Q2R2）这是一个联言命题。10某液体是酸类，当且仅当，它让石蕊试纸变红。4【解】设P表示“某液体是酸类”，Q表示“该液体让石蕊试纸变红”，则上述命题可表示为QP。这是一个充分必要条件假言命题。11既然不存在完美无缺的事情，我就不应该因我的过失而受到责备。【解】设P表示“不存在完美无缺的事情”，Q表示“我不应该因我的过失而受到责备”，则上述命题可表示为PQ。这是一个充分条件假言命题。12恐龙无法被克隆，除非科学家能够获悉恐龙的完整基因。【解】设P表示“科学家能够获悉恐龙的完整基因”，Q表示“恐龙能被克隆”，则上述命题可表示为PQ。这是一个必要条件假言命题。13如果你没有失约，老板仍然不高兴，那么或者是因为你没有做成那笔买卖，或者是因为我的错。【解】设P表示“你没有失约”，Q表示“老板不高兴”，R表示“因为你没有做成那笔买卖”，S表示“因为我的错”，则上述命题可表示为PQRS。这是一个充分条件假言命题。14所有可靠的论证都是有效的，并且它们有真的前提。【解】设P表示“所有可靠的论证都是有效的”，Q表示“所有可靠的论证都有真的前提”，则上述命题可表示为PQ。这是一个联言命题。15如果我们提高税收并且削减政府开支，那么，除非发生大的自然灾害，财政赤字将会减少。【解】设P表示“我们提高税收”，Q表示“我们削减政府开支”，R表示“发生大的自然灾害”，S表示“财政赤字将会减少”，则上述命题可表示为PQRS。这是一个充分条件假言命题。16雨、雪、风、霜都不会阻止那位邮递员按时投送邮件。【解】设P表示“雨不会阻止那位邮递员按时投送邮件”，Q表示“雪不会阻止那位邮递员按时投送邮件”，R表示“风不会阻止那位邮递员按时投送邮件”，S表示“霜不会阻止那位邮递员按时投送邮件”，则上述命题可表示为PQRS。这是一个联言命题。17甲、乙、丙、丁至少有一人将来会成为杰出人士。【解】设P表示“甲将来会成为杰出人士”，Q表示“乙将来会成为杰出人士”，R表示“丙将来会成为杰出人士”，S表示“丁将来会成为杰出人士”，则上述命题可表示为PQRS。这是一个相容选言命题。18聪明的人总是用别人的智慧填补自己的大脑，愚蠢的人总是用别人的智慧干扰自己的情绪。【解】设P表示“聪明的人总是用别人的智慧填补自己的大脑”，Q表示“愚蠢的人总是用别人的智慧干扰自己的情绪”，则上述命题可表示为PQ。这是一个联言命题。二、用真值表方法去验证下述公式是不是重言式1AA【解】列真值表进行真值运算如下AAAAAA）10010101最后一列真值均为1，故原公式为重言式。2AAA【解】列真值表进行真值运算如下AAAA（AA）A100150111最后一列真值均为1，故原公式为重言式。3AABC【解】列真值表进行真值运算如下ABCABCA（BC）A（A（BC）11101111100001101011110001110111111010101100111110001111最后一列真值均为1，故原公式为重言式。4ABCABCAD【解】列真值表进行真值运算如下ABCDABCABCAD11111111001111011110001101001110111000011100101111100011010111000010011110101100011101000111111101101101111011010110111110100101111100111111011001011110110001111111100001111111主联结词在所有行的真值均为1，故原公式为重言式。5AAAC【解】列真值表进行真值运算如下ACACA（AC）AA（AC）111111001101110600110最后一列第三、四行真值均为0，故原公式不是重言式。6ABCDACBD【解】列真值表进行真值运算如下ABCDABCDACBD11111111111111011011001101110101111001111010101101101001010010111110010101010100001110110111011101101100101010010101011110100011010000111111010001011010110001110110000001111111主联结词在所有行的真值均为1，故原公式为重言式。三、用归谬赋值法判定下述公式是否重言式1AAA【解】用归谬赋值法判定如下（AA）A01000（代）（矛）1（盾）变元A的取值出现矛盾，故原公式为重言式。2ABACBC【解】用归谬赋值法判定如下（AB）（AC）（BC）0101000000代1代7盾矛变元A的取值出现矛盾，故原公式为重言式。3ABCDACBD【解】用归谬赋值法判定如下（AB）（CD）（ACBD）01010101111代1代11盾代0矛变元D的取值出现矛盾，故原公式为重言式。4AACAC【解】用归谬赋值法判定如下（A（AC）（AC）010110代11盾代1矛变元C的取值出现矛盾，故原公式为重言式。5ABCABAC【解】用归谬赋值法判定如下（A（BC）（AB）（AC）0101110100代0代0代1盾矛变元C的取值出现矛盾，故原公式为重言式。6ABACABC【解】用归谬赋值法判定如下ABACABC010010100代1代118盾代0矛变元C的取值出现矛盾，故原公式为重言式。四用树形图方法判定下述公式是否重言式1AAABC【解】依画图规则构造树形图如下（AA）（AB）C）AA（AB）C）AA由于该树形图只有一个闭枝，故原公式为重言式。2ABAA【解】依画图规则构造树形图如下（AB）A）A）（AB）AA（AB）AAB该树形图已经终结，并且各个枝都是闭枝，故原公式为重言式。3ABACB【解】依画图规则构造树形图如下（AB）（ACB）AB（ACB）ACBACAB9该树形图已经终结，并且各个枝都是闭枝，故原公式为重言式。4ABACBC【解】依画图规则构造树形图如下（AB）（AC）（BC）AB（AC）（BC）AC（BC）（AC）BCACBCACBCBCAAABBB该树形图有不能关闭的枝，故原公式不是重言式。5ABCABC【解】依画图规则构造树形图如下（ABC）（A（BC）ABC（A（BC）A（BC）BC（ABC）A（BC）ABCAB（AB）CABCBCBA该树形图已经终结，并且各个枝都是闭枝，故原公式为重言式。6ABCABAC【解】依画图规则构造树形图如下10ABCABACABCABACABACABCCBABCBCABABABABABABACAC该树形图已经终结，并且各个枝都是闭枝，故原公式为重言式。五在PN中证明，下述公式是PN定理1AA【证明】（1）AA假设（2）|A假设（3）|AA（2）（4）|AA（1）（假设引用）（5）|A（2）（3）（4）（6）|AA（5）（7）|AA（1）（假设引用）（8）AA（1）（6）（7）2AA【证明】（1）A假设（2）|A假设（3）|A（1）（假设引用）（4）|AA（2）（3）（5）|A（2）（4）（6）AA（1）（5）（7）A假设（8）|A假设（9）|A（7）（假设引用）（10）|AA（8）（9）（11）|A（8）（10）11（12）AA（7）（11）（13）AA（6）（12）3AA【证明】（1）AA假设（2）|A（1）（3）|A（1）（4）（AA）（1）（2）（3）4ABBA【证明】（1）AB假设（2）|B假设（3）|A假设（4）|B（1）（3）（5）|B（2）（假设引用）（6）|BB（4）（5）（7）|A（3）（6）（8）|BA（2）（7）（9）（AB）（BA）（1）（7）5ABCCBA【证明】（1）A（BC假设（2）|C假设（3）|B假设（4）|A假设（5）|BC（1）（4）（6）|B（3）（假设引用）（7）|C（5）（6）（8）|C（2）（假设引用）（9）|CC（7）（8）（10）|A（4）（9）（11）|BA（3）（10）（12）|CBA（2）（11）（13）ABCCBA1）12）6ABBCAC【证明】（1）AB假设（2）|BC假设（3）|A假设（4）|B（1）（3）（5）|C（2）（4）（6）|AC（3）（5）（7）|（BC）（AC）（2）（6）（8）（AB）（BC）（AC）（1）（7）127ABCCAB【证明】（1）ABC假设（2）|CA假设（3）|B假设（4）|CA（2）（假设引用）（5）|A（4）（6）|C（4）（7）|AB（5）（3）（8）|ABC（1）（假设引用）（9）|C（7）（8）（10）|CC（6）（9）（11）|B（3）（10）（12）|（CA）B（2）（11）（13）（ABC）（CA）B）（1）（12）8ABACABC【证明】（1）（AB）（AC）假设（2）|AB假设（3）|A（2）（4）|B（2）（5）|BC（4）（6）|A（BC）（3）（5）（7）|（AB）A（BC）（2）（6）（8）|AC假设（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中证明，下述推理是有效的1ABC，CA，B【证明】（1）A（BC）前提（2）（CA）前提（3）B假设（4）|BC（1）（5）|C（3）（4）（6）|A（1）（7）|CA（5）（6）（8）|（CA）（2）（前提引用）（9）|（CA）（CA）（7）（8）13（10）B（3）（9）2HK，KLM，LHM【证明】（1）HK前提（2）（KL）M前提（3）L假设（4）|H假设（5）|K（1）（4）（6）|KL（5）（3）、（7）|M（2）（6）（8）|HM（4）（7）（9）L（HM）（3）（8）3ABC，CA，B【证明】（1）ABC前提（2）（CA）前提（3）CA（2）德摩根律（4）B假设（5）|C（3）（6）|A（3）（7）|AB（4）（6）（8）|C（1）（7）（9）|CC（5）（8）（10）B（4）（9）4AB，C，ACD，FB，DF【证明】（1）AB前提（2）C前提（3）ACD前提（4）FB前提（5）FB（4）德摩根律（6）D假设（7）|AC（3）（6）DR1（8）|AC（7）德摩根律（9）|A（2）（8）否定肯定式（10）|B（1）（9）否定肯定式（11）|F（5）（10）否定肯定式（12）DF（6）（11）（13）DF（12）蕴析律5DC，CAB，AB，A【证明】（1）DC前提（2）CAB前提（3）AB前提14（4）DC（1）德摩根律（5）C（4）（6）AB（2）（5）（7）AA（3）（6）RP（等值置换）（8）A假设（9）|A（7）（8）（10）|AA（8）（9）（11）A（8）（10）6AB，C，ACD，DB【证明】（1）AB前提（2）C前提（3）ACD前提（4）D假设（5）|AC（3）（4）DR1（6）|AC（5）德摩根律（7）|A（2）（6）否定肯定式（8）|B（1）（7）否定肯定式（9）DB（4）（8）（10）DB（9）蕴析律7KLMR，RST，KMT【证明】（1）KLMR前提（2）（RST）前提（3）K假设（4）|M假设（5）|LM）R（1）（3）（6）|LM（4）（7）|R（5）（6）（8）|RS（7）（9）|T（2）（8）（10）|MT（4）（9）（11）KMT（3）（10）8MNMN，NPMN，MN，MP【证明】（1）（MNMN前提（2）NPMN前提（3）MN前提（4）M假设（5）|MN（1）（3）（6）|NP（2）（5）DR1（7）|MN（3）蕴析律（8）|MP（6）（7）DR2（9）|P（4）（8）15（10）MP（4）（9）（11）MP（10）蕴析律9AB，ARAS，BSAR【证明】（1）AB前提（2）ARAS前提（3）BS假设（4）|AS（1）（3）RP（等值置换）（5）|AR（2）（4）DR1（6）|R（5）（7）|AR（6）（8）|AR（7）德摩根律（9）BSAR（3）（8）10ABC，ABEA，CD，EAD【证明】1ABC前提2ABEA前提3CD前提4D假设5|C34DR16|AB15否定肯定式7|EA268DEA479DEA8蕴析律10EAD9交换律11CD，BDE，CD，B【证明】（1）CD前提（2）BDE前提（3）CD前提（4）DD（1）（3）RP（等值置换）（5）D（4）消去律（6）DE（5）（7）DE（6）德摩根律（8）B（2）（7）DR112ABC，ADE，BD，CDE【证明】1ABC前提2ADE前提3BD前提4C假设5|BD3德摩根律6|ABC1析取结合律7|AB46否定肯定式168|B59|A78否定肯定式10|DE2911CDE410七对于下面的每一个论证，先将其符号化为命题逻辑公式；如果它是有效的，则构造一个其有效性的形式证明；如果它是无效的，则画出相应的树形图揭示它的无效性1如果发现新的能源，那么，仅当世界的人口数量降低时，生活水平才会提高。生活水平不会提高，就意味着新的能源未被发现。或者新的能源将被发现，或者我们将不会提供研究经费。所以，如果我们提供了研究经费，世界的人口数量将会降低。【解析】设P发现新的能源，Q世界的人口数量降低，R生活水平提高，S我们提供研究经费，则上述论证可表示为PRQ，RP，PS，SQ这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PRQ前提（2）RP前提（3）PS前提（4）S假设（5）|P（3）（4）否定肯定式（6）|RQ（1）（5）（7）|R（2）（5）PR1（8）|Q（6）（7）（9）SQ（2）（11）2如果语言学研究者是正确的，那么，若在古希腊出现了不止一种方言，则不同的部落就是在不同的时间来自北方。如果不同的部落在不同的时间来自北方，那么他们必定是来自达卢比河谷。但是，考古发掘将会揭示某些不同部落的遗迹，如果他们真是在不同时间来自北方的话；而考古发掘并没有在那里发现这样的遗迹。所以，如果在古希腊出现了不止一种方言，那么语言学研究者必定是搞错了。【解析】设P语言学研究者是正确的，Q在古希腊出现了不止一种方言，R不同的部落就是在不同的时间来自北方，S不同的部落是来自达卢比河谷，T考古发掘揭示了某些不同部落的遗迹，则上述论证可表示为PQR，RS，RT，T，QP这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQR前提（2）RS前提（3）RT前提（4）T前提（5）Q假设（6）|P假设（7）|QR（1）（6）（8）|R（5）（7）（9）|T（3）（8）（10）|T（4）（前提引用）17（11）|P（6）（9）（10）（12）QP（5）（11）3如果李白获胜，则马丽会感到高兴。如果傅德获胜，则萨乔会感到高兴。如果彼尔获胜，则萨乔会感到高兴，并且如果保罗获胜，则马丽会感到高兴。或者萨乔将不高兴或者马丽将不高兴，并且或者傅德不会获胜或者彼尔不会获胜。所以，或者彼尔不会获胜或者保罗不会获胜，并且或者傅德不会获胜或者李白不会获胜。【解析】设P李白获胜，Q马丽会感到高兴，R傅德获胜，S萨乔会感到高兴，T彼尔获胜，U保罗获胜，则上述论证可表示为PQ，RS，TSUQ，SQRT，TURP这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQ前提（2）RS前提（3）TSUQ前提（4）SQRT前提（5）SQ（4）（6）RT（4）（7）TS（3）（8）UQ（3）（9）T假设（10）|S（7）（9）（11）|Q（5）（10）否定肯定式（12）|U（8）（11）PR1（13）TU（1）（12）（14）TU（13）蕴析律（15）R假设（16）|S（2）（15）（17）|Q（5）（16）否定肯定式（18）|P（1）（17）PR1（19）RP（15）（18）（20）RP（19）蕴析律（21）TURP（14）（20）4如果工资提高或者物价提高，将会有通货膨胀。如果通货膨胀，则议会必须限制通货膨胀，否则人民将遭受损失。如果人民遭受损失，议员们就会失掉人心。国会将不会限制通货膨胀并且议员们不会失掉人心。因此，工资将不会提高。【解析】设P工资提高，Q物价提高，R通货膨胀，S议会限制通货膨胀，T人民将遭受损失，U议员们会失掉人心，则上述论证可表示为PQR，RST，TU，SU，P这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQR前提（2）RST前提（3）TU前提（4）SU前提18（5）P假设（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尽管世界人口在增长，但农业产量却在下降，而制造业的产品保持稳定。如果农业产量下降而世界人口却在增长，那么，或者有新的食品源可资利用，或者将从根本上对世界上的食品资源进行重新分配，除非人类的营养需求降低。没有新的食品源可资利用，也不鼓励家庭节约食品，并且人类的营养需求也不会降低。所以，将从根本上对世界上的食品资源进行重新分配。【解析】设P世界人口在增长，Q农业产量在下降，R制造业的产品保持稳定，S有新的食品源可资利用，T将从根本上对世界上的食品资源进行重新分配，U人类的营养需求降低，V鼓励家庭节约食品，则上述论证可表示为PQR，QPUST，SVU，T这是一个无效的论证。可用树形图法证明其无效性如下【证明】PQRQPUSTSVUTPQRQPUSTSVUTSVUPQRQUSTQPPUSTST该树形图已经终结，但是有不能关闭的枝，故原公式不是重言式，上述推理无效。6如果上帝愿意阻止邪恶，但没有能力这样做，他就不是万能的；如果他能够阻止邪恶，但不愿意这样做，那么他就不是仁慈的。只有当上帝或者能够但不愿意或者愿意但不能够阻止邪恶时，邪恶才能存在。存在着邪恶。如果上帝存在，那么他既是万能的也是仁慈的。所以，上帝并不存在。【解析】设P上帝愿意阻止邪恶，Q上帝能阻止邪恶，R上帝是万能的，S上帝是仁慈的，T邪恶存在，U上帝存在，则上述论证可表示为PQR，QPS，TQPPQ，T，URS，U这是一个有效的论证。可构造其有效性的形式证明如下19【证明】（1）PQR前提（2）QPS前提（3）TQPPQ前提（4）T前提（5）URS前提（6）QPPQ（3）（4）（7）U假设（8）|RS（5）（7）（9）|S（8）（10）|QP（2）（9）PR1（11）|PQ（6）（10）否定肯定式（12）|R（1）（11）（13）|R（8）（14）U（7）（12）（13）7如果你有自由意志，那么你的行动就不是被某个先前的事件所决定。如果你有自由意志，那么，如果你的行动不是被某个先前的事件所决定，则你的行动就无法预测。如果你的行动不是被某个先前的事件所决定，那么，如果你的行动无法预测，则你的行动的后果也无法预测。所以，如果你有自由意志，那么你的行动的后果就无法预测。【解析】设P你有自由意志，Q你的行动不是被某个先前的事件所决定，R你的行动无法预测，S你的行动的后果无法预测，则上述论证可表示为PQ，PQR，QRS，PS这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQ前提（2）PQR前提（3）QRS前提（4）P假设（5）|Q（1）（4）（6）|QR（2）（4）（7）|R（5）（6）（8）|RS（3）（5）（9）|S（7）（8）（10）PS（4）（9）8如果那本书写得很好，那么，若我阅读它我就会喜欢它。如果我喜欢它，那么，或者我会保存它或者会把它借给朋友。那本书确实写得很好，并且我读了它但没有保存它，所以我把它借给了朋友。【解析】设P那本书写得很好，Q我阅读了它，R我会喜欢它，S我会保存它，T我会把它借给朋友，则上述论证可表示为PQR，RST，PQS，T这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQR前提（2）RST前提20（3）PQS前提（4）P（3）（5）Q（3）（6）S（3）（7）QR（1）（4）（8）R（5）（7）（9）ST（2）（8）（10）T（6）（9）否定肯定式9如果乙不是盗窃犯，那么，甲昨晚未遇见乙而且盗窃案发生在午夜。如果盗窃案发生在午夜，则乙是盗窃犯或甲说谎。所以，如果甲未说谎，则乙是盗窃犯。【解析】设P乙是盗窃犯，Q甲昨晚遇见乙，R盗窃案发生在午夜，S甲说谎，则上述论证可表示为PQR，RPS，SP【证明】（1）PQR前提（2）RPS前提（3）S假设（4）|P假设（5）|QR（1）（4）（6）|R（5）（7）|PS（2）（6）（8）|P（7）（3）否定肯定式（9）|P（4）（8）（10）SP（3）（9）10如果宣战是一个正确的战略行动，则或者有50个师作好了战斗准备，或者已有20个远程轰炸机编队已准备好发动攻击。然而并没有50个师已作好战斗准备。因而，如果20个远程轰炸机编队尚未准备好发动攻击，则或者宣战不是一个正确的战略行动，或者有新的生化武器可用。【解析】设P宣战是一个正确的战略行动，Q有50个师作好了战斗准备，R已有20个远程轰炸机编队已准备好发动攻击，S有新的生化武器可用，则上述论证可表示为PQR，Q，RPS这是一个有效的论证。可构造其有效性的形式证明如下【证明】（1）PQR前提（2）Q前提（3）R假设（4）|P假设（5）|QR（1）（4）（6）|R（2）（5）否定肯定式（7）|R（3）（假设引用）（8）|P（4）（6）（7）（9）|PS（8）（10）RPS（3）（9）八、在TN中证明公式是定理1AA21【证明】1A假设2|A13AA122AA【证明】1A假设2|A假设3|A24|A15|A2346AA153AA【证明】1A假设2|A13|A24AA134AA【证明】1A假设2|A13|A24AA135AA【证明】1A假设2|A假设3|A24|A35|A1假设重现6|A2457AA166AA【证明】1A假设2|A假设3|A24|A35|A1假设重现6|A2457AA167AA【证明】221A假设2|A假设3|A2（ADFA）4|A1假设重现5|A2346AA157A假设8|A假设9|A7（ADFA）10|A8假设重现11|A891012AA71113AA6128AA【证明】1A假设2|A假设3|A2（ADFA）4|A1假设重现5|A2346AA157A假设8|A假设9|A7（ADFA）10|A8假设重现11|A891012AA71113AA6129AA【证明】1A假设2|A假设3|A1（ADFA）4|A2假设重现5|A2346AA157A假设8|A假设9|A8（ADFA）10|A7假设重现11|A891012AA71113AA61210AA23【证明】1A假设2|A假设3|A1（ADFA）4|A2假设重现5|A2346AA157A假设8|A假设9|A8（ADFA）10|A7假设重现11|A891012AA71113AA612九、从下列各题的五个备选项中选择一个正确的答案，并作出简单的分析1除非包裹的大小尺寸符合规定，否则邮局不会接受。而且，所有被邮局接受的包裹都要有退回地址。如果以上陈述为真，则以下哪项也必为真A邮寄包裹的收费主要是以重量计的。B只要包裹的大小尺寸符合规定，邮局就一定会接受。C如果一个包裹的大小尺寸符合规定，并有退回地址，则无论它多重，都会被接受投递。D一个大小尺寸不符合规定、但却有退回地址的包裹，决不会被邮局接受投递。E邮局对必须返回寄件人的包裹不收取任何费用。【答案】D【解析】首先A、E两项可以排除，因为题干中并未涉及包裹的收费问题，因而不可能从题干中推出。设P包裹的大小尺寸符合规定，Q邮局会接受，R包裹有退回地址，则题干可表示为PQ，QRB项可表示为PQ，C项可表示为PRQ，D项可表示为PRQ。用树形图法不难验证，B、C两项亦均不能从题干推出。正确选项应为D。下面给出其形式证明【证明】（1）PQ前提（2）QR前提（3）PR假设（4）|P（3）（5）|Q（1）（4）（6）PRQ（3）（9）2甲（男）、乙（男）、丙（女）、丁（女）、戊（女）五个人有亲戚关系，其中凡有一个以上兄弟姐妹并且有一个以上儿女的人总说真话；凡只有一个以上兄弟姐妹或只有一个以上儿女的人，所说的话真假交替；凡没有兄弟姐妹，也没有儿女的人总说假话。他们各说了以下的话甲丙是我的妻子，乙是我的儿子，戊是我的姑姑。乙丁是我的姐妹，戊是我的母亲，戊是甲的姐妹。丙我没有兄弟姐妹，甲是我的儿子，甲有一个儿子。24丁我没有儿女，丙是我的姐妹，甲是我的兄弟。戊甲是我的侄子，丁是我的侄女，丙是我的女儿。根据题干给定的条件，能够推出下面哪一个选项是真的A甲说的都是真话，丙是他的妻子。B乙说的真假交替，他的母亲是戊。C丁说的都是假话，她是甲的姐妹。D戊说的都是真话，丙是她的姐妹。E丙说的假真交替，她是甲的母亲。【答案】A【解析】首先说明以下推导中这样理解“一个以上”和“兄弟姐妹”。一个以上一个或多个。兄弟姐妹必须是亲的兄弟姐妹，不含堂兄弟姐妹或表兄弟姐妹。使用正向推理，需要事先有所假设，然后再根据假设和题目的已知条件进行推导。如果出现矛盾，则假设不成立；如果没有出现任何矛盾，则说明这是一组可能的答案。最后再看选项，从中挑选。考虑从甲说的话入手。甲说的话只有三种可能全是真话，全是假话，真假交替。（1）如果甲说的全是真话。由题意，甲有一个以上兄弟姐妹并且有一个以上儿女。同时获得如下信息丙是甲的妻子，乙是甲的儿子，戊是甲的姑姑。下面分析其他人，不妨从与甲有明显亲戚关系的丙和乙开始。先看丙所说的话。根据甲提供的信息，可知丙的第二句话是假话。又知丙有儿子（乙），那么丙所说的话只能是真假交替。也就是说丙的第一句话和第三句话都是真话，即她没有兄弟姐妹且甲有一个儿子。这里和已有的信息没有任何矛盾。再看乙所说的话。显然他说的第二句话和第三句话都是假话。那么根据题目的规定，乙一定没有兄弟姐妹，也没有儿女。并且可推出他说的第一句话也是假的，即丁不是乙的姐妹。这里也没有任何矛盾出现。下边看丁所说的话。根据丙提供的信息可知丁的第二句话是假话。而且可以肯定她所说的第一句话和第三句话要么都是真话，要么都是假话。如果都是假话，那么说明丁有儿女，按照题目规定，丁不可能说的全是假话，这里出现矛盾。如果都是真话，也即丁没有子女，而且甲是丁的兄弟。这样与题目要求和已经得到的信息均不矛盾。所以，丁说的话是真假交替的。最后看戊所说的话。根据甲和丁提供的信息，可知戊的第一句话和第二句话都是真话，那么第三句话也必然是真话。这样又得到戊既有子女又有兄弟姐妹，同时丙是戊的女儿。虽然按现代观点，甲和丙属于近亲结婚，不是太可能的事情；但是这里如果仅就分析五个人的亲戚关系而言，并没有矛盾。所以得到结论如下甲说的都是真话，乙说的都是假话，丙说的真假交替，丁说的真假交替，戊说的都是真话。而且五人关系是戊有独生女儿丙，侄子甲和侄女丁；甲和丁是亲的兄弟姐妹，甲和丙是夫妻，有独生儿子乙，乙没有儿女。（2）如果甲说的全是假话。由题意，甲既没有兄弟姐妹也没有儿女。同时获得如下信息丙不是甲的妻子，乙不是甲的儿子，戊也不是甲的姑姑。看丙所说的话。易见她说的第三句话是假话。那么她说的第一句话也一定是假话。这也就是说丙有兄弟姐妹。根据题目规定，丙不可能说的都是假话，那么第二句话一定是真话，即甲是丙的儿子。这样就得到丙既有兄弟姐妹又有子女。由题目的规定，她必须总说真话。这就出现了矛盾。所以开始的假设“甲说的全是假话”是不成立的。25（3）如果甲说的真假交替。由题意，甲或者只有兄弟姐妹，或者只有儿女，二者必居其一，不可兼得。如果甲只有兄弟姐妹而没有儿女。那么，他的第二句话是假话，同时可知第一句话和第三句话是真话。得到如下信息丙是甲的妻子，乙不是甲的儿子，戊是甲的姑姑。再看丙所说的话，显然她说的第二句话和第三句话都是假话，那么第一句话也必然是假话。因为丙说的都是假话，由题目规定，丙必然既没有兄弟姐妹也没有子女；但同时，因为丙的第一句话是假话，可知丙有兄弟姐妹。这里出现矛盾。所以甲不可能只有兄弟姐妹而没有儿女。那么，必然是甲只有儿女而没有兄弟姐妹。则甲说的三句话依次为假话、真话、假话。得到信息丙不是甲的妻子，乙是甲的儿子，戊不是甲的姑姑。看丁所说的话，第三句话显然是假话，故第一句话也是假话，即丁有儿女。那么她说的第二句话必为真话，即丙是丁的姐妹。再看丙所说的话，易见第一句话是假话。但是丙有姐妹，故不可能总说假话，这样她说的第二句话是真话，即甲是丙的儿子。这样，丙就既有姐妹也有儿女，按题目规定，必须总说真话，这与其第一句话是假话发生矛盾。所以甲也不可能只有儿女而没有兄弟姐妹。所以开始的假设“甲说的真假交替”是不成立的。综合上述三种情况，知五人关系及说话的真假情形有且只有1中分析的那种。据此，得到本题的答案选项是A3市场上推出了一种新型的电脑键盘。新型键盘具有传统键盘所没有的“三最”特点，即最常用的键设计在最靠近最灵活手指的部位。新型键盘能大大提高键入速度，并减少错误率。因此，用新型键盘替换传统键盘能迅速地提高相关部门的工作效率。以下哪项如果为真，最能削弱上述论证A有的键盘使用者最灵活的手指和平常人不同。B传统键盘中最常用的键并非设计在离最灵活手指最远的部位。C越能高效率地使用传统键盘，短期内越不易熟练地使用新型键盘。D新型键盘的价格高于传统键盘的价格。E无论使用何种键盘，键入速度和错误率都因人而异。【答案】E【解析】题干中，结论（即用新型键盘替换传统键盘能迅速地提高相关部门的工作效率）赖以成立的论据是新型键盘通过具有“三最”特点的新设计，能大大提高键入速度，并减少错误率。但是假如E为真，即无论使用何种键盘，键入速度和错误率都因人而异，那么就相当于驳倒了题干中的论据，从而大大削弱了整个论证的说服力。其余选项皆不具有这个特点。例如，A项只相当于找出了某些特殊情况下的反例，即少数人最灵活的手指和平常人不同。这虽然也能在一定程度上削弱上述论证，但显然没有E的效果更明显。B项以最常用的键离最灵活手指的距离不是最远来反驳距离最近时效率大大提高的结论，显然不具有很强的说服力。C项只有在假设相关部门的工作人员大部分都能高效率地使用传统键盘的情况下，才能比较有效地反驳上述论证，但这个假设显然并不是很可靠的。D项以不同键盘的价格问题去反驳关于其功效问题的结论，显然更不能削弱上述论证。45题基于以下题干某岛上男性公民分为骑士和无赖。骑士只讲真话，无赖只讲假话。骑士又分为贫穷的和富有的两部分。有一个姑娘，她只喜欢贫穷的骑士，一个男性公民只讲一句话，使得这姑娘确信他是一个贫穷的骑士。另外，姑娘问任何一个男性公民一个问题，根据回答就能确定他是否为贫穷的骑士。4以下哪项可能是该男性公民所讲的话A我不是无赖。26B我是贫穷的骑士。C我不是富有的骑士。D我很穷但我不说假话。E我正是你所喜欢的人。【答案】C【解析】要使姑娘确信说话者