随着信息时代的来临，国外逻辑学重要的一个转变就是逻辑教学软件的研究和应用，特别是在数理逻辑、模态逻辑等教学方面中的应用，更侧重于逻辑和计算机的结合。本文从一种新的角度，将逻辑教学软件的应用进行了较系统、全面的研究。　　概括说来，本文的主要工作包括以下三个方面:　　第一，本文系统梳理了已有的能够用于逻辑学教学的软件。文中从逻辑学的发展历史来考虑，分为传统逻辑、数理逻辑、模态逻辑三大类，把国外的一些常用逻辑教学软件在这里做了全面的叙述。　　第二，本文对逻辑教学软件进行了更为具体和深入的探讨和研究，分别介绍了几个有代表性的逻辑学教学软件，对逻辑软件的功能及其具体操作等几个主要方面做了全面的阐述，并相应的给出了自己的评价。　　第三，实现了逻辑学命题逻辑部分的具体应用，以笔者开发的逻辑运算软件为实例，文中具体讲解了软件的设计原理和思路，并有详细的使用介绍说明，并提出今后进一步研究的方向。　　本文的主要创造性工作在于:　　第一，利用程序语言VC编写真值运算并将其实现。设计并开发出一款“逻辑演算”软件，并获得满意的效果。　　第二，和其他逻辑教学软件不同之处在于，在笔者设计的逻辑运算软件中，只要将欲分析的复合命题输入该程序，程序就会迅速而无误地得出该复合命题的真值，这使得真值运算部分更加直接、且便于使用。另外，根据用户的需要，可以把复合命题相应的真值表列出，进而迅速判定是否命题逻辑的重言式、矛盾式和可满足式。　　目前，在逻辑学研究的文献中尚未看到此类逻辑软件的开发和研究，尚处起步阶段。在这方面，本文研究工作的意义在于，在借鉴和吸纳国外逻辑软件研究的基础上，将国外已有的逻辑教学软件介绍到国内，促进国内逻辑学的教学工作。更重要的是，笔者利用程序语言开发逻辑教学软件，更大程度地发挥了逻辑学的工具性作用。笔者认为，逻辑与计算机的结合是一个具有深厚理论意义和应用价值的研究方向。