加载中…
正文 字体大小:

《符号逻辑讲义》勘误

(2008-11-20 02:12:37)
标签:

逻辑

逻辑学

逻辑学教学

分类: ◇教学和讲座◇

    近年“符号逻辑”课上使用过的课件和其他材料,已编成《符号逻辑讲义》由武大出版社出版。这份讲义虽经两次较大的修改,仍有很多不尽人意的地方,其中编写和排版错误大概也不少。这里留一贴,随时记录讲义中的错误,欢迎指正。【最后编辑日期:博文 2012/03/28,下载文件 2012/03/28

    

    以下页码指《符号逻辑讲义》(武大出版社,2008年)中的页码:

  • 第2页倒数第12行,"f1,...,fn" 应为 "y1,...,yn"。【感谢阅夜】
  • 第29页倒数第7行,"最后一两步" 应为 "最后一步";倒数第9行 "如果它 ... 真子句中" 后,应加 ",并且它不是由多元联结词经用句子(或联结词)填入其空格得到的联结词"【感谢nick】。
  • 第54页第7行和第68页倒数第7行,"对任何公式集" 应为 "对任何有穷公式集"。【感谢申国桢】
  • 第64页习题2.9和第65页习题2.10,"可以是" 应为 "对","一定不是" 应为 "错"。【感谢申国桢】
  • 第84页第13行,"Ú应为 "Ù"。【感谢付小轩
  • 第86页第11行,"(q)(s1)" 应为 "q(s1)";倒数第2行,"符合" 应为 "复合"【感谢ben】。
  • 第88页第5行,"(~(y(s¢))(s¢¢)" 应为 "(~(y(s¢)))(s¢¢)",原文少了一个右括号。
  • 第89页第1行,"q1" 应为 "q0"。【感谢新朋】
  • 第92页倒数第2行,"真值联结词" 应为 "真值函数联结词"。
  • 第96页倒数第11行,"推论102" 应为 "命题102"。第97页第2行类似。【感谢申国桢】
  • 第104页第4-5行,两处 "真值联结词" 应为 "真值函数联结词"。【感谢申国桢】
  • 第108页倒数第2行,第一个 "和" 应为 "及其子公式"。
  • 第110页习题3.29,"{~}" 应为 "{f~}"。【感谢张炎】
  • 第115页倒数第3行,"Y中推演步骤" 应为 "Y中公式推演步骤";第116页第10-11行,两处 "及其推演步骤" 应为 "及其公式推演步骤"。【感谢申国桢】
  • 第119页第6行,"得出y" 应为 "得出f"。
  • 第120页第14行,"biconditional introduction" 应为 "biconditional elimination"。【感谢nick】
  • 第123页例125最后一行,"Ù-int. 6, 10" 应为 "Ù-int. 6, 11"。【感谢张青】
  • 第124页例129右侧的说明中,两处 "f " 都应是 "y "。【感谢张青】
  • 第126页例133第1和第3步,右侧的 "f " 应为 "y "。【感谢新朋】
  • 第139页第2行,"合取枝" 应为 "合取支"。【感谢申国桢
  • 第152页第6行,"等值规则" 应为 "替换规则"。【感谢申国桢
  • 第174页第12和第13行,两处 "n" 都应为 "k"。【感谢申国桢
  • 第177页命题199,"任何公式fy" 应为 "任何公式f, yc"。
  • 第178页第6行,"做代入 (f/py/q)" 应为 "做代入f/py/q";倒数第10和第11行,三处 turnstile "|-" 少了下标 "0"【感谢“江西特务”】。同页第12行,"说得是" 应为 "说的是"。同页倒数第7 行,"下面两个命题" 应为 "下面几个命题"【感谢申国桢】。
  • 第185页倒数第2、第6和第8行,三处 turnstile "|-" 少了下标 "0"。【感谢许尚楸】
  • 第188页例250第9步,两处 "c " 都应为 "y "。【感谢付小轩】
  • 第196页倒数第1行,"Cut. 2, 3" 应为 "Cut. 1, 2"。【感谢许尚楸】
  • 第197页第1行,"DT. 4" 应为 "DT. 3"【感谢许尚楸】。同页第5 和第7 行,"fn" 应为 "fm"【感谢申国桢】。
  • 第198页倒数第4行,"定理263的证明" 应为 "定理265的证明"。【感谢宋子明】
  • 第199页倒数第1行,第一个 turnstile "|-" 少了下标 "0"。【感谢申国桢】
  • 第202页6.1.1上方,"合适" 应为 "合式"。
  • 第204页倒数第2行,第二个 "f " 前多了个否定号。【感谢申国桢】
  • 第206页第2行,turnstile "|-" 少了下标 "1"。
  • 第208页倒数第9行,公式最右端少了一个右括号 ")"。
  • 第209页例295下面第3行,"DT. 3" 应为 "DT. 2"。
  • 第214页倒数第4行,"~f ® y" 应为 "~(f ® ~(y))",倒数第5行和倒数第7行,"~f应为 "~(f)"。
  • 第218页定理320之前的最后一句,应为 "以下凡涉及 H0sub 的地方,我们都预设对象语言是 L0"。
  • 第219页定理321的证明中,运用习题3.19的两处都还应运用习题3.1。【感谢申国桢】
  • 第220 页第5行,"谓词逻辑" 应为 "谓词演算"。【感谢申国桢】
  • 第221页第11行,"整个定理" 应为 "这个定理";倒数第9行,"325" 应为 "326"【感谢宋子明】。
  • 第222页定理333的证明中,"证明:" 是多余的;倒数第1行和第223页第8行的turnstile "|-" 遗漏了上标"*"【感谢宋子明】。第223页倒数第8行,"|-" 同样遗漏了上标"*"。
  • 第226页例341第5步,左起第3个 "p" 应为 "r"。
  • 第227页第15行,"q Ú s应为 "q Ù s"。
  • 第238页习题6.9中,turnstile "|-" 的下标应是 "6"。
  • 第240页倒数第7行,"归纳" 应为 "规则";倒数第5行,"可演绎" 是多余的。
  • 第241页倒数第1行,第二个 turnstile "|-" 前应有个 "对" 字。第242页第1行类似。【感谢申国桢】
  • 第243页倒数第一行,"D4应为 "D5";倒数第二行,"D3应为 "D4"。
  • 第251页,"用日常语言表达的函数" 的第三个例子中,"外文书" 应统统改为 "英文书"(或统统改为 "德文书",或其他具体文字的书)【感谢邢滔滔】;脚注第一行,"语言" 应为 "语义"。
  • 第263页第13-14行,两处 "C" 都应为 "B",且两处 "D" 都应为 "F"。【感谢陈依祎】
  • 第266页第7,8行右侧的 "Ù" 应为 "®"【感谢宋子明】;第9行"$x"应为""x",第三个 "Ù" 应为 "®"。
  • 第270页第12行,"Cuz中的 "C应为 "E";倒数第11行,"两条鱼" 应为 "至少两条鱼"。【感谢宋子明】
  • 第272页第11行,"这个量词" 应为 "这类量词";第12行,"它" 应为 "它们"。
  • 第279页第1行,"Rxt1" 应为 "Rxt1"。
  • 第280页第3行,"或者" 是多余的;第10行,"dunkey" 应为 "donkey"【感谢张立英】。
  • 第282页倒数第3行,最后少了一个右括号。【感谢邢锟】
  • 第283页习题7.6上方“词典”中第2行,"线" 应为 "直线"。【感谢邢锟】
  • 第284页习题7.7(iv)中,"读过" 应为 "在读"。【感谢宋子明】
  • 第288页第7行,"在同一给定公式中" 应为 "在同一个公式或同一个问题的讨论中,除非有特别说明"。
  • 第291页例373上面一行,"都是" 应为 "都"。
  • 第296页第3行,"A是B真子集" 应为 "A是B的真子集"。【感谢宋子明】
  • 第315页倒数第5行,"命题403(iii)" 应为 "例403(iii)"。【感谢申国桢】
  • 第317页定理417(iv)中,"定义46" 应为 "定义55"。【感谢申国桢】
  • 第318页习题8.3,"包含下列每一组公式的集合" 应为 "下列每一组公式组成的集合"。另:第(ii)小题中,"Rxy Ú Ryx" 应为 "Rxy Ú x º y Ú Ryx"。【感谢邢锟】
  • 第320页脚注11,"第287页" 应为 "第286页"。【感谢申国桢】
  • 第321页习题8.18(viii),""z" 应为 ""x"。【感谢邢锟】
  • 第324页的11行,"s" 应为 "f ";倒数第5行中的 "s," 是多余的【感谢申国桢】。
  • 第328页命题422证明第3行,"s1" 应为 "s0"。【感谢张青】
  • 第330页最后一段,"t1" 和 "tn" 应分别为 "s1" 和 "sn";倒数第三段中的 "x1" 和 "y1" 下标应为 "0"。
  • 第331页正文倒数第3段第1行,"i = 1,2" 应为 "i = 0,1";脚注4中的 ""x应为 "$x"。【感谢张青】
  • 第334页命题432的证明中的第2句话应为 "根据定义418后的预设,y0,...,ykx0,...,xk 都不同"【感谢申国桢和nick】;证明结尾处,"结论的最后部分..." 前应加一句 "f = $zy  时类似可证"【感谢张青】。
  • 第337页第14行,"xk/a0应为 "xk/ak"。
  • 第340页第14行,"命题408" 应为 "例408"。【感谢申国桢】
  • 第343页第5行,""x(" 是多余的,"它" 应为 ""xf";第8行和第12行的 "f" 应为 ""xf";第13行,"Qgxy" 应为 "Qy"。
  • 第344页第1行,"k < n" 应为 "k £ n"。
  • 第357页倒数第11行,"f "zy " 应为 "f Qzy (Q ∈ {", $})"。【感谢邢锟】
  • 第358页倒数第7行应为 "Qyy* 和 y¢ 使得 y¢ y并且 f¢ 是 Qyy¢ 或其易字式,其中 Qyy* 是 f 或其易字式";倒数第2行的 "项" 是多余的。【感谢申国桢】
  • 第359页习题9.26,"y 不在项 s 中出现" 应为 "y ¹ xy 不在项 s 中出现"。
  • 第360页习题9.42,题设前加 "设 L* 包含等词,并"。【感谢邢锟】
  • 第366页倒数第9行,"第3步" 应为 "第4步"。 
  • 第371页例473-475,题目中的 turnstile "|-" 少了下标 "F"。
  • 第374页第11行,"$-int. 8" 应为 "$-int. 8, c/x"。
  • 第378页例488中,"|-F应在 "®" 的位置上。
  • 第379页第1行,应加 "其中 x, y, z 各不相同";第2行,去掉 "a,";第3行和第16行,"a" 应为 "x"。
  • 第386页例504第4步,""-elim. 4" 应为 ""-elim. 3"。【感谢宋子明】
  • 第388页第一段,"3-5" 应为 "4-5","插在第12步和第13步之间" 应为 "替换第13步","插在第25步和第26步之间" 应为 "替换第26步","三步" 应为 "七步"。
  • 第389页例509,""x"y(x º y ® "z(y º z ® x º z))" 应为 ""x"y"z(x º y ® (y º z ® x º z))"。
  • 第391页例512第5步,公式右侧多了个右括号;例513第10步,"4, 9" 应为 "4-9"。
  • 第395页例515第10步,"Ù-elim. 10" 应为 "Ù-elim. 9"。
  • 第396页例516第8步,"®-int" 应为 "®-elim",第12步最后漏了"a/x";倒数第9行,"(t/x) 及 (t/y)" 应为 "自由代入的结果 f(t/z)"。
  • 第404页第10行,"的f" 应为 "f"。
  • 第416页例559第2步,"mp" 应为 "PL"。
  • 第418页第4行,第一个 "$y" 应为 "$yf"。【感谢张炎】
  • 第422页例581第3步,"命题575. 2" 应为 "命题575, 2, PL"。
  • 第425页倒数第5行,"fy" 应为 "fy"。
  • 第428页第9行,"Symm" 应为 "Symm"。
  • 第435 页倒数第 4 行,"QV" 应为 "CV"。【感谢09级国际班的一位同学。(忘记是谁了,请知情者提供姓名,谢谢。)】
  • 第438页倒数第3行,少了全称量词 ""y" 和相应的括号。
  • 第439页定理605的证明中第3行,在 "由Ax5和定义442知" 之前,应加 "通过易字变形"。【感谢nick】
  • 第442页脚注1中,"定义的的" 应为 "定义的"。
  • 第448页倒数第11行,turnstile "|-" 左侧漏了 " Γ "。
  • 第449页第3行,两处 "n" 应为 "k";第13行 "前束公式" 应为 "前束范式"。
  • 第451页倒数第2行,最左端的 ""应为 "$"。
  • 第453页倒数第10行,"l = (f ® y)..." 应为 "l = (y ® f)..."。
  • 第464页命题644的证明中第4和第6行,"f " 应为 "fk";【感谢史源明】同一证明中第4行 "Γ0 显然是一致的" 应为 "根据引理553和命题554的证明,Γ0 是一致的"。【感谢申国桢】
  • 第467页第12行,"t0" 应为 "t1"。【感谢月光如水】
  • 第469页第3行,"和" 应为 "为"。
  • 第471页13行,"S¢" 应为 "Q"。
  • 第474页第13行,"fi-1" 应为 "fi"。
  • 第475页第11行,"H$ 的公理" 后应加 "(包括所有 L1 的重言式公式的“L$-代入结果”)";第12行 "相同" 后应加 "(Ax10 理解为对新系统中公理的概括)"。同页倒数第4行 "H*$ 的公理" 后和倒数第2行 "相同" 后应分别加类似文字。
  • 第492页习题A.12和A.13,",且f 为任意公式" 是多余的。
  • 第493页第3行,"演算系统" 应为 "逻辑"。
  • 第502页习题A.19的(iii)和(iv)中,"《符号逻辑讲义》勘误" 应为 "~"。
  • 第505页第8行,"既要在" 应为 "既要"。
  • 第506页第4行,"k" 应为 "n"。
  • 第516页第5行,"k" 应为 "m+1"。【感谢史源明】
  • 第525页倒数第2行,"fk+1" 应为 "yk+1","f Ù yk+1" 应为 "f Ú yk+1"。
  • 第527页习题6.1(ii),第1行第2个 "f " 前少了个 "~";第2行第2个 "f " 前多了个 "~",turnstile "|-" 少了下标 "1",第4行 "DT" 应为 "DT. 3";同页习题6.1(iii)第3行 "SRAAb" 应为 "SRAA",第4行 "DT" 应为 "DT. 3"。
  • 第528页第8行,"1, 2" 应为 "2"。【感谢申国桢】
  • 第531页第5行,"y " 应为 "f "【感谢邢锟】;第14行,两个 "~f " 中有一个应为 "f ";同页倒数第8行的 "s " 应为 "m ","t应为 "n "。
  • 第534页倒数第1行和第535页第1行中的两个 "xn" 不应是下标。
  • 第535页第13行,"I(c)" 应为 "I¢(c)",倒数第10行应加 "再运用例403(i)"。
  • 第536页第14行,"存在" 前加 "设";倒数第10行,最后加 "另一种情况类似可证。";倒数第1行,两处 "®" 应为 "⊙",最后加 "其中 ⊙∈{∨,∧,®,};"。【感谢邢锟】
  • 第537页第1行,两处 """ 应为 "Q",最后加 "其中 Q ∈ {", $}"。
  • 第541页倒数第6行,"个体变项" 应为 "函数符号"。【感谢申国桢】
  • 第542页第一段和第二段之间,遗漏了 f 是等式的情况。【感谢申国桢】
  • 第545页第8行,最后少了 "a/x"。
  • 第547页第2行,最后的符号应为 "H¢";倒数第8行,"命题648" 应为 "命题660"。
  • 第561页倒数第14行,"Symblic" 应为 "Symbolic"。【感谢史源明】
  • 第573页第2列第5行,"自反" 应为 "自返";第574页第2列第14行,类似;第581页第1列第7行,类似。

 

下载《符号逻辑讲义》勘误表 (2012/03/28)

 

新浪博客不能上传 pdf 文件,只好利用“相册”上传 png 格式的图片,适合打印。图片制作较麻烦,所以图片更新通常会比博文更新慢一些,请原谅。

0

阅读 评论 收藏 转载 喜欢 打印举报
  • 评论加载中,请稍候...
发评论

    发评论

    以上网友发言只代表其个人观点,不代表新浪网的观点或立场。

      

    新浪BLOG意见反馈留言板 电话:4006900000 提示音后按1键(按当地市话标准计费) 欢迎批评指正

    新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 会员注册 | 产品答疑

    新浪公司 版权所有