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

更多科学出版社服务，请扫码获取。

目录
丛书序i
致谢ix
导言1
0.1什么是符号逻辑学？1
0.2为什么学习逻辑学？1
0.3如何学习逻辑学？2
0.4本书结构如何编排？2
第1章 命题、论证和逻辑属性3
1.1命题3
1.2论证5
1.3演绎有效论证10
1.4总结15
第2章 语言、句法和语义学19
2.1真值函数19
2.2PL符号和真值函数算子22
2.3PL句法30
2.4析取、蕴涵、等值蕴涵37
2.5高级转换43
第3章 真值表54
3.1赋值（真值赋值）54
3.2命题的真值表57
3.3命题真值表分析64
3.4命题集的真值表分析68
3.5蕴涵条件解释72
3.6论证真值表分析75
3.7无效短真值表测试77
第4章 真值树84
4.1真值树的建构和解构84
4.2真值树解构规则89
4.3剩余解构规则102
4.4基本策略109
4.5真值树走查115
4.6真值树的逻辑性质118
第5章 命题逻辑推导140
5.1证明的建构140
5.2前提和目标命题141
5.3Intelim推导规则142
5.4证明的策略169
5.5附加推导规则（PD+）182
5.6额外推导策略189
第6章 谓词语言、句法和语义学218
6.1谓词逻辑的表达能力218
6.2RL语言218
6.3RL句法225
6.4谓词语义学232
6.5从句子到谓词逻辑的翻译238
6.6混合和重复量词244
第7章 谓词逻辑树249
7.1四个新的解构规则249
7.2解构树的策略255
7.3逻辑性质258
7.4不可判定性和谓词树方法的局限性280
第8章 谓词逻辑推导288
8.1四个量词规则288
8.2量词否定（QN）308
8.3样例说明310
附录319
命题逻辑319
谓词逻辑323
补充书目325
逻辑哲学和哲学逻辑325
模态逻辑325
非经典逻辑、推演逻辑和自由逻辑326
非推演逻辑327
高阶逻辑327
逻辑学的历史327
逻辑学与替代符号328
人名与名词（英汉对照）329
作者简介333