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