数理逻辑中有许多可操作的方法，如真值表方法、形式推理方法等。为配合数理逻辑的学习，本教材将这些方法通过逻辑学习软件LPL（Language,ProofandLogic）展现出来。学习者可以通过在计算机上操作（或者实验）逻辑学习软件LPL，正确理解数理逻辑中的思想，熟练掌握数理逻辑中的方法，也可以配合本教材的慕课“实验逻辑学”进行学习（网址：https:onlineweb.zhihuishu.com）。