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

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