符号逻辑:语法、语义和证明
图书信息
书名:符号逻辑:语法、语义和证明作者:大卫·W.安格勒,魏屹东,陈素艳,张秀蕊
包装:平装
开本:16
全文字数:400000
出版社:科学出版社
出版时间:2016-04-01
图书简介
《符号逻辑:语法、语义和证明》从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言并不能完全充分表达所有有效论证和语义关系,谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性,真值树方法只可为谓词逻辑提供部分决策过程。本书涵盖了丰富的示例及证明,非常适合符号逻辑学的课堂教学使用。
推荐理由
《符号逻辑:语法、语义和证明》详细讲解了符号逻辑学的各种知识体系,包括命题逻辑和谓词逻辑系统的规范语言、推导规则等等。本书提供了众多令人信服的例子,说明符号逻辑概念的有效性。丰富的示例及证明也使本书非常适合课堂教学使用。如果你对逻辑学或相关专业感兴趣,那么这本书一定是不能错过的。