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