简介
《实验逻辑学》,主要是将LPL逻辑学习软件引入的教学中。LPL是由美国斯坦福大学的多位编程人员研究开发并经不断改进而成的一套专门用于数理逻辑(或者一阶逻辑)学习的计算机程序软件。它主要包括:Boole,Fitch,Tarski¢s World 三个子程序文件。借助这些文件和常用的计算机命令,能使学生轻松地理解各个逻辑联结词和量词的意义、熟悉它们的用法。还能使学生快速的判断重言式、重言等值和重言后承。特别地,能使学生熟练地掌握自然推理系统中形式定理的证明方法。本课程适用于逻辑学、哲学和法学以及计算机专业的学生学习。
...更多