邏輯基礎

序
第一章 緒論
1.1 邏輯簡史
1.2 羅輯的性質
1.3 形式邏輯
1.4 邏輯、語言與思維
思考題
第二章 命題邏輯
2.1 命題聯結詞與命題形式
2.2 真值形式:否定詞、合取詞、析取詞
2.3 真值形式：蘊涵詞、等值詞
2.4 括號與有效性
2.5 重言式與有效性
2.6 真值表法
2.7 簡化真值表法
2.8 真值樹法
2.9 命題推理的證明規(guī)則
2.10 等值規(guī)則
2.11 條件證明
2.12 間接證明
2.13 重言式的形式證明
2.14 命題邏輯推理規(guī)則的運作
習題
第三章 詞項邏輯
3.1 直言命題及其形式
3.2 類與存在假定
3.3 對當方陣的語義解釋
3.4 對當方陣推理
3.5 換質拉推量
3.6 三段論的格與式
3.7 三段論的有效性
3.8 三段論的規(guī)則與運用
習題
第四章 謂詞邏輯
4.1 個體詞與謂詞
4.2 量詞
4.3 關系命題
4.4 多個量詞
4.5 量詞的否定
4.6 真、可滿足與有效性
……
第五章 一階邏輯
第六章 思維與語言
附錄1 命題邏輯規(guī)則與方法
附錄2 謂詞邏輯規(guī)則與方法
附錄3 詞項邏輯規(guī)則與方法
附錄4 習題參考答案
主要參考文獻
索引

【媒體評論】