現(xiàn)代邏輯基本概念和技術

第一章 有效推理和矛盾
第二章 矛盾句和矛盾模式、邏輯結構的層次性
第三章 真值函項聯(lián)結詞和真值函項模式
第四章 真值函項模式矛盾性和有效性的檢驗：真值分析法
第五章 真函有效推理的檢驗方法
第六章 模式間的蘊涵關系和等價關系
第七章 中場總結和預告
第八章 謂詞和謂詞字母
第九章 謂詞提取和變項
第十章 量詞
第十一章 量化模式及其有效性
第十二章 量化模式的替換規(guī)則
第十三章 移置規(guī)則和量化模式的前置化處理
第十四章 量化模式有效性的檢驗方法：純存在式方法
第十五章 量化模式有效性的證明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 單獨詞項和“=”
附錄一 奎因論現(xiàn)代邏輯(英漢對照)
附錄二 復習思考題參考答案
附錄三 專業(yè)術語索引
出版后記