豆瓣
扫码直接下载
O141-43/*001，文理三
读得我两眼发昏。。原来符号逻辑的内容这么丰富。。。
终于到手了。MD!
勘误表！
必须要啃下来！
总是逃不掉的。。。
勘误表 https://sonion.xyz/errata/xuming/symbk/2012-03-28/ 清华逸夫馆三本儿
第二章习题也有点问题，严格来讲一个公式不能又是或然式，又可能是矛盾式，矛盾式就是必然为假，怎么还能“可能是”？
又发现了一个稍微有点严重的问题，这书给的简单句和复合句的定义完全不能让人搞懂，我也不明白别的定义给的那么全，为啥到这不给一个清楚的定义。而且这个书在第二章提到了空位这个概念，却没有讲常项和变项两个概念，不区分变项和空位怎么让人搞懂啥是简单句，啥是复合句？也别太照顾文科生了，该上难度的地方就得上啊。。
妈的卖脱销
代入太难了……第三张习题我是做不完了
。。。。。
能看完这本书并做完习题的人就差不多达到徐明标准下的“入门”了。之前从没接触过数理相关的文科生不建议看这个(会摧毁信心的)。
不得不读了
这本书超级好 但是一直没有时间看 而且是中文的 biiiiiiiii
我终于读完一遍了呜呜呜呜。 //重读
http://www.hi-pda.com/forum/viewthread.php?tid=847223&extra=page%3D1&page=9
我祈祷我这学期能读完这本书！
我现在看到第三章了看得很绝望。到第七章才出现谓词逻辑，我觉得在此之前我应该先把分析哲学入了门……
复旦那本《数理逻辑：证明及其限度》里所有看不懂或者略讲的东西都可以被这本书补充。
> 符号逻辑讲义
0 有用 左思 2010-08-12
O141-43/*001，文理三
0 有用 隔壁老王 2011-05-31
读得我两眼发昏。。原来符号逻辑的内容这么丰富。。。
0 有用 答案风中飘扬 2013-01-06
终于到手了。MD!
0 有用 [已注销] 2011-03-19
勘误表！
0 有用 Riegl 2020-03-26
必须要啃下来！
0 有用 Sue 2020-06-10
总是逃不掉的。。。
0 有用 Snowonion 2018-09-13
勘误表 https://sonion.xyz/errata/xuming/symbk/2012-03-28/ 清华逸夫馆三本儿
0 有用 精泰公民张某某 2020-03-29
第二章习题也有点问题，严格来讲一个公式不能又是或然式，又可能是矛盾式，矛盾式就是必然为假，怎么还能“可能是”？
0 有用 张天旭 2020-03-27
又发现了一个稍微有点严重的问题，这书给的简单句和复合句的定义完全不能让人搞懂，我也不明白别的定义给的那么全，为啥到这不给一个清楚的定义。而且这个书在第二章提到了空位这个概念，却没有讲常项和变项两个概念，不区分变项和空位怎么让人搞懂啥是简单句，啥是复合句？也别太照顾文科生了，该上难度的地方就得上啊。。
0 有用 Tchanunt 2019-01-05
妈的卖脱销
0 有用 Charlesorium 2019-06-21
代入太难了……第三张习题我是做不完了
0 有用 影山茂夫 2018-04-02
。。。。。
0 有用 zz 2020-06-28
能看完这本书并做完习题的人就差不多达到徐明标准下的“入门”了。之前从没接触过数理相关的文科生不建议看这个(会摧毁信心的)。
0 有用 cytus 2019-02-19
不得不读了
0 有用 vjqrgqif 2019-04-08
这本书超级好 但是一直没有时间看 而且是中文的 biiiiiiiii
0 有用 却之 2019-03-25
我终于读完一遍了呜呜呜呜。 //重读
0 有用 anonymous 2017-09-28
http://www.hi-pda.com/forum/viewthread.php?tid=847223&extra=page%3D1&page=9
0 有用 [已注销] 2019-08-30
我祈祷我这学期能读完这本书！
0 有用 Apollo 2019-05-21
我现在看到第三章了看得很绝望。到第七章才出现谓词逻辑，我觉得在此之前我应该先把分析哲学入了门……
0 有用 老G解牛 2020-12-08
复旦那本《数理逻辑：证明及其限度》里所有看不懂或者略讲的东西都可以被这本书补充。