书籍简介:

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

书籍规格:

书籍详细信息
书名	符号逻辑站内查询相似图书
丛书名	认知哲学译丛
	9787030480392 如需购买下载《符号逻辑》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	99.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	260	印数

全网搜索试读资源

书籍信息归属:

符号逻辑是科学出版社于2016.4出版的中图分类号为 O141 的主题关于数理逻辑－研究的书籍。