《逻辑学导论》更正表.docVIP

《逻辑学导论》更正表 《逻辑学导论》更正表 以下只标明，××页码×××行应该更正为......，并用红色标记出应该更正的文字。该书修订版（第二版）及其教学辅导书即将出版。 40页13-15行：例如，选言命题自然数x或者是偶数或者是素数是相容的，它只有在x是偶数和x是素数都假的情况下才是假的，在其余情况下则是真的。 40页倒数8-9行：例如：江艳或者是江苏人或者是北大学生，江艳不是江苏人，所以，她是北大学生。 42页18-19行：例如：要么继续闭关锁国而落后挨打，要么实行改革开放而走向富强；我们必须实行改革开放而走向富强，所以，我们不能再继续闭关锁国而落后挨打。 42页18-19行：去掉以下两行文字：此外，前面说到过的由肯定一个选言支到肯定包含这个选言支的任一选言命题的推理，对于不相容选言命题也成立。请读者自己验证。 56页倒数7行：在其他三种情形即p真q真、p假q真、p假q假时都是真的。 59页倒数6行：（4）一个真值形式是偶真式，当且仅当，它既不是重言式也不是矛盾式。 63页表2-8上一行：下面，我们给出公式((p∧q)?r)?((p∧?r)??q)的真值表 65页公式括号： 　　［15］ ((A?B)?A)?A （皮尔士律） 　　［16］ (A?B)?(A∧C?B) （加强前件律） 　　［17］ (A?B)?(A∨C?B∨C) （析取附加律） 　　［18］ (A?B)?(A∧C?B∧C) （合取附加律） 69页9-10行： 　（i） (p?q)∧(p?r)?(p?q∧r) 1 1 1 1 1 1 1 0 1 0 111 72页：例11 证明公式集｛p?q，p?(r?s)，?s∧r，q∨s｝可满足的。 74页：［13］(A?B)∧(B?A)?(A?B) （?引入律） 76页4行：若用╞A?B表示A?B是重言式，那么有下述结果 79页：否定引入规则?＋： 　　 〇Γ 　　　　〇A 　　 ┇ 　　 B 　　 ?B 　　 ?A ┇ 80页：否定消去规则?－： 　　 〇Γ 　　　　〇?A 　　 ┇ 　　 B 　　 ?B A ┇ 81页：蕴涵引入规则?＋： 　　 〇Γ 　　　　〇A 　　 ┇ 　　 B 　　 A?B ┇ 87页7行： 　　（3） A∨?A (2)∨＋ 　　 87页17行： 　　（6）B (4)(5)?－ 　　 95页16行之后加入下列文字： 　　为方便起见，有必要通过定义引入模态词◇（可能）： 　　　　◇A＝df ?□?A 然后给出几个与◇相关的导出规则： 106页第5题：如果上帝愿意阻止邪恶，但没有能力这样做，他就不是万能的；如果他能够阻止邪恶，但不愿意这样做，那么他就不是仁慈的。只有当上帝或者能够但不愿意或者愿意但不能够阻止邪恶时，邪恶才能存在。存在着邪恶。如果上帝存在，那么他既是万能的也是仁慈的。所以，上帝并不存在。 　　120页10-11行：在公理集合论中，已将概括原则修改为： (?x)(?y)(?z) ((z ?y)?(z?x)(A(z)) 128页17-18页：如果从一个全称命题出发，经过连续的换质位，得到了一个同质同量、以原命题谓项的矛盾概念为主项、以原命题主项的矛盾概念为谓项的直言命题，这种方法被称为戾换法。 　　141也倒数7行： 　　　 鸵鸟不会飞， 　　　　鸵鸟是鸟， 　　　　所以，有的鸟不会飞 这样就反驳了所有的鸟都会飞这个虚假的全称命题。 145页倒数7-8行： 　　Df1. Eab＝?Iab 　　Df2. Oab＝?Aab 148页倒数7-8行： 　　所以，鲸鱼是以乳汁哺育幼体的。 　　而金枪鱼不是以乳汁哺育幼体的， 　　　　所以，金枪鱼不是鲸鱼。 152页倒数5-9行：除此之外，还要求直言命题的谓项也不能是一个空类，以所能够腾云驾雾的人都是能够不借助任何飞行器械而飞行的人为例，按照常识，能够不借助任何飞行器械而飞行的人是一个空类，经过限量换位，该命题变成了有些能够不借助任何