扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心灵元气社
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
-
>
厌女(增订本)
-
>
这样学习才高效/杨慧琴
-
>
心理学经典文丛:女性心理学
-
>
中国文化5000年
符号逻辑:语法.语义和证明 版权信息
- ISBN:9787030480392
- 条形码:9787030480392 ; 978-7-03-048039-2
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
符号逻辑:语法.语义和证明 内容简介
大卫·W.安格勒著的《符号逻辑--语法语义和证明》从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言并不能完全充分表达所有有效论证和语义关系,谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性,真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。 本书可供逻辑学、逻辑哲学、科学哲学、心灵哲学、认知(科学)哲学,以及相关专业的读者阅读。
书友推荐
- >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
朝闻道
朝闻道
¥10.2¥23.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.5¥39.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥17.6¥32.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
随园食单
随园食单
¥15.4¥48.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.9¥10.0
本类畅销
-
字海探源
¥25¥78 -
《标点符号用法》解读
¥8.3¥15 -
文言津逮
¥10.2¥28 -
那时的大学
¥12¥28 -
现代汉语通用字笔顺规范
¥19.6¥58 -
2020年《咬文嚼字》合订本
¥23.8¥60