《逻辑学入门》通过大量现实例证对一众逻辑概念做出了通俗易懂的解释，循序渐进地指导读者运用逻辑工具和逻辑规则独立完成一则棘手的逻辑证明，并带领读者沿着哲学数学的脉络一览逻辑学从三段论、语句逻辑、谓词逻辑到多值逻辑、量子逻辑的两千余年发展历程。任何有志于用逻辑学武装头脑的读者，都会在读完本书后轻松掌握逻辑证明的技能，学会严谨、清晰、周全地推理和思考，并在日常生活中愈发自信地应用自己的逻辑能力。

◎从亚里士多德到哥德尔定理，一本书带你通览两千多年逻辑学发展史！

◎真值表、真值树、蕴涵、等价……一本书教会你语句逻辑和量词逻辑证明的核心概念和方法！

◎以逻辑视角重新审视日常生活，避免落入常见的逻辑陷阱。

◎内含著名漫画家里奇·坦南特所绘插画《第五波》。

◎可作为逻辑学课程的辅助读物。

马克·泽拉雷利（Mark Zegarelli），拥有罗格斯大学数学和英语学士学位，是一位富于教育热情、充满创造力的教育工作者和作者。多年来，马克作为一名数学导师，帮助了许多学生取得学业进步、收获良好的考试成绩，并在主职之外积极参与各类志愿教学活动。教学工作之余，马克出版了十部数学、逻辑学主题的图书，以及七部儿童逻辑趣题绘本。此外，马克还创建了一个在线学习网站，制作了大量数学、英语领域的在线课程资料。

第一部分逻辑概论

第1章何为逻辑？

第2章逻辑学的发展：从亚里士多德到电脑

第3章为了论证

第二部分形式语句逻辑（SL）

第4章形式问题

第5章命题求值

第6章运用表格：利用真值表对命题求值

第7章走捷径：创建快速表

第8章真理长在树上

第三部分语句逻辑中的证明、句法和语义

第9章你究竟要证明什么？

第10章机会平等：运用等价规则

第11章运用条件证明和间接证明大胆假设

第12章综合运用：巧妙解决各类证明

第13章我为人人，人人为我

第14章句法方面的技巧和语义方面的考量

第四部分量词逻辑（QL）

第15章用质量体现数量：量词逻辑入门

第16章量词逻辑翻译

第17章运用量词逻辑进行证明

第18章良好的关系和积极的同一性

第19章培育大量树

第五部分逻辑学的现代发展

第20章计算机逻辑

第21章大胆的命题：非古典逻辑

第22章悖论和公理系统

第六部分 来自作者的十大榜单

第23章十大逻辑学名言

第24章十大逻辑学家

第25章逻辑学考试通关的十个提示