逻辑学入门

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

　　马克·泽拉雷利（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章 逻辑学考试通关的十个提示