《形式逻辑袖珍指南》是一本精心设计的逻辑学入门书籍，专为那些没有逻辑学背景的读者而编写。它以简洁的篇幅和清晰的结构引导初学者进入形式逻辑的世界，是入门课程中理想的选择。全书采用友好的语气和易于理解的示例，使逻辑学这个常被视为艰深的领域变得平易近人，从而帮助读者战胜逻辑学所带来的挑战和恐惧，吸引并鼓励读者逐步掌握重要的逻辑技能。 《形式逻辑袖珍指南》对陈述逻辑的核心方法进行了集中讲解，包括对论证的翻译、真值表的使用以及基本的逻辑证明等。作者致力于通过简明扼要的解释和循序渐进的例子，让读者迅速掌握逻辑学的基本工具。为帮助读者更深入理解，本书还提供了练习题，不仅支持教学使用，也为自学者提供了宝贵的学习支持，使逻辑学的学习更加系统和全面。

第1部分 转化为陈述逻辑
第1章 符号化
1.1 陈述、论证和演绎
1.2 简单陈述、复合陈述和真值
1.3 符号化论证
1.4 练习
第2章 真值表
2.1 如何看懂真值表
2.2 构建真值表的基本规则
2.3 真值表示例
2.4 练习
第3章 逻辑运算符
3.1 否定
3.2 合取
3.3 析取
3.4 蕴含
3.5 双条件
3.6 回顾真值表示例
3.7 练习
第4章 括号与合式公式
4.1 括号与合式公式
4.2 排他性析取
4.3 练习
第2部分 用真值表检验有效性
第5章 长真值表法
5.1 有效性与可靠性
5.2 检验有效性的长真值表法
5.3 练习
第6章 短真值表法
6.1 使用短真值表法的步骤
6.2 短真值表法示例
6.3 练习
第3部分 用证明论证有效性
第7章 有效和无效的论证形式
7.1 肯定前件式
7.2 否定后件式
7.3 假言三段论（链式论证）
7.4 析取三段论
7.5 无效论证形式：肯定后件谬误
7.6 无效论证形式：否定前件谬误
7.7 练习
第8章 证明
8.1 证明的方法
8.2 如何阅读和书写证明
8.3 推理规则
8.4 应用推理规则
8.5 推进证明的策略
8.6 练习
第9章 进阶证明技巧：条件证明与间接证明
9.1 条件证明
9.2 间接证明（归谬法）
9.3 多重子证明
9.4 练习
第10章 逻辑等价式与复杂证明
10.1 逻辑等价式
10.2 应用逻辑等价式
10.3 练习