逻辑学实验教程内容简介本书包括两部分内容
第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介
第二部分是LPL软件的操作与应用
作者在《数理逻辑实验教程》中，已经较详细地介绍了LPL软件的（操作）命令
本教材主要讲解LPL中三个软件Fitch、Boole和Tarski’sWorld的操作和应用
本教材在编写过程中，主要参考了Jon Barwise和John Etchemendy两人合著的《语言证明逻辑》（Language Proof Logie）一书，特别是“You try it”以及我编著的《数理逻辑实验教程》
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
