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

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