第一部分  內容精要
　第1章命題邏輯的基本概念
　　1．1命題
　　1．2命題聯(lián)結詞及真值表
　　1．3合式公式
　　1．4重言式
　　1．5命題形式化
　第2章命題邏輯的等值和推理演算
　　2．1等值定理
　　2．2等值公式
　　2．3命題公式與真值表的關系
　　2．4聯(lián)結詞的完備集
　　2．5對偶式
　　2．6范式
　　2．7推理形式
　　2．8基本的推理公式
　　2．9推理演算
　　2．10歸結推理法
　第3章命題邏輯的公理化
　　3．1公理系統(tǒng)的結構
　　3．2命題邏輯的公理系統(tǒng)
　　3．3公理系統(tǒng)的完備性和演繹定理
　　3．4命題邏輯的另一公理系統(tǒng)——王浩算法
　　3．5命題邏輯的自然演繹系統(tǒng)
　　3．6非標準邏輯
　第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謂詞邏輯的歸結推理法
　第6章謂詞邏輯的公理化
　　6．1謂詞邏輯的公理系統(tǒng)
　　6．2謂詞邏輯的自然演繹系統(tǒng)
　　6．3遞歸函數(shù)
　第7章一階形式理論及模型
　　7．1一階語言及一階理論
　　7．2結構、賦值及模型
　　7．3  理論與模型的基本關系——完全性定理
　　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集合間的關系和特殊集合
　　9．3集合的運算
　　9．4集合的圖形表示法
　　9．5集合運算的性質和證明
　　9．6有限集合的基數(shù)
　　9．7集合論公理系統(tǒng)
　第10章  關系
　　10．1二元關系
　　10．2關系矩陣和關系圖
　　10．3關系的逆、合成、限制和象
　　10．4關系的性質
　　10．5關系的閉包
　……
第二部分習題解答