扫一扫
关注中图网
官方微博
>
关于“(美)大卫·W.安格勒著”检索到 共1种现货商品
-
符号逻辑:语法.语义和证明
¥74.3(7.5折)定价:¥99.0大卫·W.安格勒著的《符号逻辑－－语法语义和证明》从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供
