现代逻辑基本概念和技术

第一章 有效推理和矛盾
第二章 矛盾句和矛盾模式、逻辑结构的层次性
第三章 真值函项联结词和真值函项模式
第四章 真值函项模式矛盾性和有效性的检验：真值分析法
第五章 真函有效推理的检验方法
第六章 模式间的蕴涵关系和等价关系
第七章 中场总结和预告
第八章 谓词和谓词字母
第九章 谓词提取和变项
第十章 量词
第十一章 量化模式及其有效性
第十二章 量化模式的替换规则
第十三章 移置规则和量化模式的前置化处理
第十四章 量化模式有效性的检验方法：纯存在式方法
第十五章 量化模式有效性的证明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 单独词项和“=”
附录一 奎因论现代逻辑(英汉对照)
附录二 复习思考题参考答案
附录三 专业术语索引
出版后记