符号逻辑：语法、语义和证明

符号逻辑：语法、语义和证明
9787030480392
（美）安格勒（Agler，D.W.）,陈素艳,张秀蕊
认知哲学译丛/魏屹东
O141
科学出版社
2016-04
2016
2016
本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言不能完全充分表