现代社会，无论学习一门知识，还是从事一种工作，你都需要“逻辑”这一强大的思维方法。如工程师用计算机编程、律师用法律诉讼、投资者炒股、科学家研究新能源新材料、医生治疗疾病等，甚至父母抚育智识健全的下一代都需要用到逻辑思维能力。 与其他同类逻辑书不同的是，即使你没有深厚的数学知识，本书依然能教会你科学的逻辑思维和严谨的推理技能。本书对基本逻辑符号的应用，都是建立在我们日常生活和学习中所经常运用到的抽象思维能力。与绝大多数逻辑书中使用的“真值树”来教授你算法不同，本书培养并强化我们提出论点和评估论点的先天能力。本书还引入自然演绎法，这种方法不仅教会你如何进行证明和解决问题，还教会你有效推理的原则是什么，以及如何将其应用于学习和工作。 本书还可以帮你顺利过渡到更高级的逻辑主题，教你一些适用于更复杂场景的一般技术，如制定关于特定主题的理论。 本书的作者教授了20多年的逻辑入门知识，它简洁、易读、好学、有趣，能帮你快速培养基本的逻辑素养和推理技能。 学习好逻辑，将让你成为更好的思考者。

第1章 人类的逻辑
论证
逻辑形式
共同形式
第2章 推演
否定
等价
小结
第3章 假定
无依赖假定的证明
实质蕴涵怪论
从析取前提出发的推理
归谬法
第4章 证明:从旧到新
代入规则
切规则
当且仅当
替换规则
第5章 真
真值表
以真来证
捷径
作为可能世界集的命题
第6章 量化
全称消去规则
全称引入规则
存在引入规则
存在消去规则
量词和布尔联结词的关系
新的重言式
快思,细想
第7章 理论
等词理论
序关系
函数
算术
定义
集合论
等价关系
函数关系
第8章 模型
逻辑语法
形式化的解释
广义的解释
图表解释
严谨解释
总结
第9章 命题逻辑理论
基于语句构造的归纳
真值函数
一个关于证明的理论
析取范式
完全性
第10章 谓词逻辑理论
替换
可靠性
完全性
完全与不完全理论
可判定性
紧致性
第11章 超越逻辑
接下来怎么做
附录一 推理规则概览
附录二 有用的有效推理形式
附录三 有用的量词逻辑等价式
附录四 真值表
附录五 谓词逻辑的有效性测试
附录六 词汇表