《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中，利用逻辑软件，更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。

第一部分  逻辑软件简介
第一章  在线逻辑软件简介
第一节  propositional logic简介
第二节  predicatcate Logic简介
第三节  Tree Proof Generater简介
第二章  LPL Software简介
第一节  Taki‘s world 5．0的命令和操作方法
第二节  Taki’s world 6．5的命令和操作方法
第三节  Boole 2．5的命令和操作方法
第四节  Fitch 2．5的命令和操作方法
第二部分  命题逻辑
第三章  简单命题
第一节  简单命题
第二节  集论语言和算术语言
第三节  广义的一阶语言
第四节  证明方法
第五节  形式证明方法
练习
第四章  复合命题（一）
第一节  逻辑联结词■、^和v
第二节  含有■、^和v的逻辑等值式
第三节  可满足与逻辑真
第四节  ■、^和v的证明方法
第五节  ■、^和v的形式证明方法
第六节  范式
练习
第五章  复合命题（二）
第一节  逻辑联结词_■和■
第二节  ■一和■H的证明方法
第三节  ■和■的形式证明方法
第四节  形式系统的扩展
练习
第三部分  量词逻辑
第六章  量词的引入
第一节  一阶公式
第二节  含有否定词和量词的等值式
第三节  含有量词V和]的证明方法
第四节  ■和■的形式证明方法
练习
第七章  量词逻辑
第一节  ■V或■的单独使用
第二节  ■V和■的混合使用
第三节  ■V和■混合使用的证明方法
第四节  ■V和■混合使用的形式证明方法
第五节  形式系统的进一步扩展
第六节  前束范式
练习
参考文献
形式证明规则一览表