第一章 命題邏輯基本概念
1 命題符號化
2 合式公式與真值函數
習題一
第二章 命題邏輯等值演算
1 等值關系
2 聯結詞的全功能集
3 析取范式與合取范式
習題二
第三章 命題邏輯自然推理
1 推理的形式結構
2 自然推理系統(tǒng)P
3 證明方法
習題三
第四章 命題邏輯公理系統(tǒng)
1 公理系統(tǒng)與形式系統(tǒng)
2 公理系統(tǒng)L
L的演繹定理
L的性質
習題四
第五章 一階邏輯基本概念
1 一階邏輯命題符號化
2 一階語言
3 解釋與賦值
4 真與邏輯有效
習題五
第六章 一階邏輯等值演算
1 一階邏輯等值式
2 置換規(guī)則
3 前束范式
習題六
第七章 一階邏輯的形式推理
1 推理定律
2 自然推理系統(tǒng)F
3 公理系統(tǒng)K
4 K的性質
習題七
第八章 集合代數
1 集合的基本概念
2 集合的運算
3 集合恒等式
習題八
第九章 二元關系
第十章 函數
第十一章 集合的基數
第十二章 公理集合論簡介
參考書目
部分習題的提示或解答
鄂公網安備 42010302001612號 