内容介绍
《逻辑学入门》通过大量现实例证对一众逻辑概念做出了通俗易懂的解释，循序渐进地指导读者运用逻辑工具和逻辑规则独立完成一则棘手的逻辑证明，并带领读者沿着“哲学——数学”的脉络一览逻辑学从三段论、语句逻辑、谓词逻辑到多值逻辑、量子逻辑的两千余年发展历程。任何有志于用逻辑学武装头脑的读者，都会在读完本书后轻松掌握逻辑证明的技能，学会严谨、清晰、周全地推理和思考，并在日常生活中愈发自信地应用自己的逻辑能力。
商品详情
逻辑学入门
作 者:(美)马克·泽拉雷利 著 韩阳 译
定 价:88
出 版 社:山西人民出版社
出版日期:2023年08月01日
页 数:512
装 帧:精装
ISBN:9787203129318
◎从亚里士多德到哥德尔定理，一本书带你通览两千多年逻辑学发展史！ ◎真值表、真值树、蕴涵、等价……一本书教会你语句逻辑和量词逻辑证明的核心概念和方法！ ◎以逻辑视角重新审视日常生活，避免落入常见的逻辑陷阱。 ◎内含著名漫画家里奇·坦南特所绘插画《第五波》。 ◎可作为逻辑学课程的辅助读物。
目录
●导读
第一部分逻辑概论
第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章逻辑学考试通关的十个提示
- 文轩九月图书旗舰店
- 特价好书，就在文轩网！
- 扫描二维码，访问我们的微信店铺
