全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

符号逻辑：语法、语义和证明 / 认知哲学译丛

￥99.00定价

作者： [美]大卫·W.安格勒著；陈素艳、张秀蕊译

出版时间：2023-02

出版社：科学出版社

以下为《符号逻辑：语法、语义和证明》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030480392
版次：1版
图书编号：417329
装帧：平装胶订
开本：B5
出版时间：2023-02
页数：352
中图分类编号：0141

内容简介

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题，命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。