邏輯學

前言
第一章 緒言
1.1 什么是邏輯
1.2 邏輯和邏輯的類型
1.3 現(xiàn)代邏輯的基本思想與方法
1.4 邏輯的作用和意義
1.5 預備知識
第二章 命題邏輯
2.1 聯(lián)結詞與復合命題
2.2 真值聯(lián)結詞和真值形式
2.3 真值函數(shù)重言式
2.4 重言式的判定
2.5 重言蘊涵式和重言等值式
2.6 范式
2.7 聯(lián)結詞推理的形式證明
2.8 命題演算
習題
第三章 詞項邏輯
3.1 詞項
3.2 直言命題
3.3 直接推理
3.4 三段論
3.5 詞項邏輯中的主項存在問題
習題
第四章 一元謂詞邏輯
4.1 詞項邏輯的不足
4.2 一元謂詞邏輯的形式語言
4.3 可滿足性和有效性
4.4 代入和易字
4.5 有效式的判定
4.6 范式
4.7 推理的形式證明
習題
第五章 謂詞邏輯
第六章 歸納邏輯
第七章 邏輯方法
附錄 應用邏輯簡介
索引
參考書目
【媒體評論】