第一部分  內(nèi)容精要
　第1章命題邏輯的基本概念
　　1．1命題
　　1．2命題聯(lián)結(jié)詞及真值表
　　1．3合式公式
　　1．4重言式
　　1．5命題形式化
　第2章命題邏輯的等值和推理演算
　　2．1等值定理
　　2．2等值公式
　　2．3命題公式與真值表的關(guān)系
　　2．4聯(lián)結(jié)詞的完備集
　　2．5對偶式
　　2．6范式
　　2．7推理形式
　　2．8基本的推理公式
　　2．9推理演算
　　2．10歸結(jié)推理法
　第3章命題邏輯的公理化
　　3．1公理系統(tǒng)的結(jié)構(gòu)
　　3．2命題邏輯的公理系統(tǒng)
　　3．3公理系統(tǒng)的完備性和演繹定理
　　3．4命題邏輯的另一公理系統(tǒng)——王浩算法
　　3．5命題邏輯的自然演繹系統(tǒng)
　　3．6非標(biāo)準(zhǔn)邏輯
　第4章謂詞邏輯的基本概念
　　4．1謂詞和個體詞
　　4．2函數(shù)和量詞
　　4．3合式公式
　　4．4  自然語句的形式化
　　4．5有限域下公式的表示法
　　4．6公式的普遍有效性和判定問題
　第5章謂詞邏輯的等值和推理演算
　　5．1否定型等值式
　　5．2量詞分配等值式
　　5．3范式
　　5．4基本推理公式
　　5．5推理演算
　　5．6謂詞邏輯的歸結(jié)推理法
　第6章謂詞邏輯的公理化
　　6．1謂詞邏輯的公理系統(tǒng)
　　6．2謂詞邏輯的自然演繹系統(tǒng)
　　6．3遞歸函數(shù)
　第7章一階形式理論及模型
　　7．1一階語言及一階理論
　　7．2結(jié)構(gòu)、賦值及模型
　　7．3  理論與模型的基本關(guān)系——完全性定理
　　7．4 Lowenheim—Skolem定理及Herbrand方法
　　7．5一階形式理論2。
　　7．6 Godel不完全性定理
　第8章證明論中的邏輯系統(tǒng)
　　8．1 X-演算
　　8．2 Scott域
　　8．3 Gentzen串形演算
　　8．4線性邏輯
　第9章集合
　　9．1集合的概念與表示方法
　　9．2集合間的關(guān)系和特殊集合
　　9．3集合的運算
　　9．4集合的圖形表示法
　　9．5集合運算的性質(zhì)和證明
　　9．6有限集合的基數(shù)
　　9．7集合論公理系統(tǒng)
　第10章  關(guān)系
　　10．1二元關(guān)系
　　10．2關(guān)系矩陣和關(guān)系圖
　　10．3關(guān)系的逆、合成、限制和象
　　10．4關(guān)系的性質(zhì)
　　10．5關(guān)系的閉包
　……
第二部分習(xí)題解答