《逻辑基础》读后感精选

《逻辑基础》是一本由王路著作，人民出版社出版的平装图书，本书定价：34.00元，页数：361，特精心收集的读后感，希望对大家能有帮助。

《逻辑基础》读后感(一)：35页

例（5），在无效论证的结论下预先判断了逻辑等价，从而让读者无法理解逻辑等价，即，在不等值的情况下预设命题为逻辑等价。

我看的是13年修订版，目前读至2.8，在传统逻辑的基础上读该本还是感觉作者逻辑很清晰的，还有疑问会陆续提出，希望大家一起讨论

《逻辑基础》读后感(二)：基础的教材，详实

本书从名字上就可以看出是逻辑基础，但我依旧归于数理逻辑的推荐书籍中，是因为现代逻辑在其中的占很大的比重。本书比较适合文科生初学时进行学习。书中例子众多而较少证明，易于理解。

书中分为命题逻辑，词项逻辑（三段论），谓词逻辑，一阶逻辑，以及思维及语言几个部分。

命题逻辑中的证明规则采用的是真值树法，谓词逻辑则是树形判定法，这两个部分在语义学上篇幅较大。一阶逻辑中的公理H，同汉密尔顿的数理逻辑的L公理是一致的。

词项逻辑属于古典逻辑范畴，而后面的思维和语言则属于泛逻辑学范畴，在数理逻辑的推荐中不予置评。

本书作为教材，优点是讲解详细，习题答案完整。缺点则是相应少很多的证明，在深入方面略有欠缺。不过考虑到既然以基础为名。作为数理逻辑的基础教材，本书还是很值得推荐的。

《逻辑基础》读后感(三)：编辑错误及其他

一、版本：

2004年7月第1版，2006年6月第2次印刷。

二、编辑错误：

1、。第87页，第（4）部分第3小题，“（s ¬ u）∧（u → v）”，应为“（s → u）∧（u → v）”。

2、第88页，2.9.2第（5）题，“现在看不出有凶杀”，应为“现在看不出有凶手”，凶杀明显与凶手不同义。

3、第90页，第（4）部分第5小题，“¬ p∧q∨（p∨¬ r∨u）”，应为¬ p∧q∨（p∧¬ r∨u）。

4、第99页，2.12.1第（1）题，在第8步与第9步中间漏掉了一步，即“¬ s∨q∧r”。

5、第103页，2.13第（2）题，“（p∨q）∧¬ p → ¬ q”，应为“（p∨q）∧¬ p → q”。

6、第142页，3.4.1共5个小题，统统缺少“├”，应分别为“SEP，├ SOP”、“¬（SIP），├ ¬（SAP）”、“¬（SOP），├ ¬（SEP）”、“SEP，├ ¬（SAP）”、“¬（SOP），├ SIP”。

7、第321页，4.3第4题，原题为“李红不欣赏流行歌曲”，答案为∃x（Lx∧¬ Xlx）或者∀x（Lx→Xlx），应为编辑错误。首先，∃x（Lx∧¬ Xlx）与∀x（Lx→Xlx）并不等价，由∃x（Lx∧¬ Xlx）应当推出¬∀x（Lx→Xlx）。其次，可能一般人比较习惯的符号表示应为∀x（Lx→ ¬ Xlx），读作“任一x，如果x是流行歌曲，李红不欣赏x”，或者¬∃x（Lx∧Xlx）。

8、第203页，4.10.1第9题，前提2“∃x（Fx∧∀y（Gy → Jxy））”应为“∃x（Fx∧∀y（Gx → Jxy））”，第348页答案部分也应做相应修改。

9、第201页，4.8.2第4题，“所有数学家都是专家并且所有作家都是文学家。但是并非所有专家都是文学家，因此并非所有数学家是作家。”这个推理是无法证明为有效的。结论应当是“并非一些数学家是作家”。因此，第334页答案也需要修改。有趣的是，2004年7月第1次印刷的那个版本并没有这个错误。

三、疑问：

习题4.9.2第5题出现了∃x（Ax∨Bx）这样的情况。不知道这是不是编辑错误。在整部书中，除了这一处外，所有的存在命题均为∃x（Ax∧Bx）形式，并且作者只说“一个存在命题表达为一个存在量词限定下的合取式”，而没有讲解何种情况下会会表达为一个存在量词限定下的析取式。

四、希望：

首先无疑是希望再版或重印时能够改正这些错误，当然，或许现在已经有修正过了印本了。

其次是希望王路先生能够再写一本更加优秀的教材，并把模态逻辑等内容囊括进去。