暂无评论
图文详情
- ISBN:9787030480392
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:333
- 出版时间:2016-04-01
- 条形码:9787030480392 ; 978-7-03-048039-2
内容简介
大卫·W.安格勒著的《符号逻辑--语法语义和证明》从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言并不能完全充分表达所有有效论证和语义关系,谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性,真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。 本书可供逻辑学、逻辑哲学、科学哲学、心灵哲学、认知(科学)哲学,以及相关专业的读者阅读。
本类五星书
本类畅销
-
世界尽头的咖啡馆
¥14.4¥45.0 -
乌合之众:大众心理研究
¥11.8¥36.8 -
两汉社会生活概述
¥13.7¥36.0 -
何为生命的意义
¥16.4¥49.8 -
理解人性
¥12.7¥39.8 -
怪癖心理学:解读种种怪诞现象背后的心里秘密
¥10.8¥36.0 -
我们时代的神经症人格
¥12.7¥39.8 -
此间的少年-纪念珍藏版
¥10.4¥29.8 -
大师的国民理想
¥10.2¥32.0 -
社会学:原来这么有趣有用
¥9.7¥36.0 -
汉字王国
¥13.8¥46.0 -
自卑与超越
¥10.8¥36.0 -
怅望山河
¥13.9¥42.0 -
中国图书史十讲-插图本
¥21.8¥68.0 -
看不见的女性(八品)
¥22.8¥69.0 -
雅俗轩墨馀脞录
¥17.5¥46.0 -
文言津逮
¥9.2¥28.0 -
动机与人格
¥13.8¥46.0 -
那时的大学
¥9.0¥28.0 -
万物皆无序
¥16.0¥42.0