邏輯學(xué)

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