邏輯基礎(chǔ)（修訂版）

序
再版序
第一章緒論
1.1邏輯簡史
1.2邏輯的性質(zhì)
1.3形式邏輯
1.4邏輯、語言與思維
思考題
第二章命題邏輯
2.1命題聯(lián)結(jié)詞與命題形式
2.2真值形式：否定詞、合取詞、析取詞
2.3真值形式：蘊(yùn)涵詞、等值詞
2.4括號(hào)與主聯(lián)結(jié)詞
2.5重言式與有效性
2.6真值表法
2.7簡化真值表法
2.8真值樹法
2.9命題推理的證明規(guī)則
2.10等值規(guī)則
2.11條件證明
2.12間接證明
2.13重言式的形式證明
2.14命題邏輯推理規(guī)則的運(yùn)用
習(xí)題
第三章詞項(xiàng)邏輯
3.1直言命題及其形式
3.2類與存在假定
3.3對當(dāng)方陣的語義解釋
3.4對當(dāng)方陣推理
3.5換質(zhì)位推理
3.6三段論的格與式
3.7三段論的有效性
3.8三段論的規(guī)則與運(yùn)用
習(xí)題
第四章謂詞邏輯
4.1個(gè)體詞與謂詞
4.2量詞
4.3關(guān)系命題
4.4多個(gè)量詞
4.5量詞的否定
4.6真、可滿足與有效性
4.7樹形判定法
4.8形式證明
4.9條件證明
4.10間接證明
4.11謂詞邏輯的運(yùn)用
習(xí)題
第五章一階邏輯
5.1命題邏輯的句法和語義
5.2命題邏輯的公理系統(tǒng)
5.3元定理
5.4謂詞邏輯的句法和語義
5.5謂詞邏輯的公理系統(tǒng)
5.6一階邏輯的方法
附錄一邏輯規(guī)則與方法
1命題邏輯規(guī)則與方法
2謂詞邏輯規(guī)則與方法
3詞項(xiàng)邏輯規(guī)則與方法
附錄二習(xí)題參考答案
主要參考文獻(xiàn)
索 引