數理邏輯實驗教程

《數理邏輯實驗教程》的目的是為了幫助更多的學生在學習數理邏輯的課程中，利用邏輯軟件，更好地理解數理邏輯的思想、更快地掌握數理邏輯的方法。 ^[1] 

第一部分　邏輯軟件簡介

第一章　在線邏輯軟件簡介

第一節　propositional logic簡介

第二節　predicate logic簡介

第三節　Tree Proof Generater簡介

第二章　LPL Software簡介

第一節　Tarski’s World 5．0的命令和操作方法

第二節　Tarski’S World 6．5的命令和操作方法

第三節 Boole 2．5的命令和操作方法

第四節　Fitch 2．5的命令和操作方法

第二部分　命題邏輯

第三章　簡單命題

第一節　簡單命題

第二節　集論語言和算術語言

第三節　廣義的一階語言

第四節　證明方法

第五節　形式證明方法

練習

第四章　複合命題(一)

……

第三部分　量詞邏輯

參考文獻 ^[1]