邏輯學輔助教學軟件的研究.pdf

1、隨著信息時代的來臨，國外邏輯學重要的一個轉(zhuǎn)變就是邏輯教學軟件的研究和應用，特別是在數(shù)理邏輯、模態(tài)邏輯等教學方面中的應用，更側(cè)重于邏輯和計算機的結(jié)合。本文從一種新的角度，將邏輯教學軟件的應用進行了較系統(tǒng)、全面的研究。
　　概括說來，本文的主要工作包括以下三個方面:
　　第一，本文系統(tǒng)梳理了已有的能夠用于邏輯學教學的軟件。文中從邏輯學的發(fā)展歷史來考慮，分為傳統(tǒng)邏輯、數(shù)理邏輯、模態(tài)邏輯三大類，把國外的一些常用邏輯教學軟件在這里做了

2、全面的敘述。
　　第二，本文對邏輯教學軟件進行了更為具體和深入的探討和研究，分別介紹了幾個有代表性的邏輯學教學軟件，對邏輯軟件的功能及其具體操作等幾個主要方面做了全面的闡述，并相應的給出了自己的評價。
　　第三，實現(xiàn)了邏輯學命題邏輯部分的具體應用，以筆者開發(fā)的邏輯運算軟件為實例，文中具體講解了軟件的設(shè)計原理和思路，并有詳細的使用介紹說明，并提出今后進一步研究的方向。
　　本文的主要創(chuàng)造性工作在于:
　　第一，利用

3、程序語言VC編寫真值運算并將其實現(xiàn)。設(shè)計并開發(fā)出一款“邏輯演算”軟件，并獲得滿意的效果。
　　第二，和其他邏輯教學軟件不同之處在于，在筆者設(shè)計的邏輯運算軟件中，只要將欲分析的復合命題輸入該程序，程序就會迅速而無誤地得出該復合命題的真值，這使得真值運算部分更加直接、且便于使用。另外，根據(jù)用戶的需要，可以把復合命題相應的真值表列出，進而迅速判定是否命題邏輯的重言式、矛盾式和可滿足式。
　　目前，在邏輯學研究的文獻中尚未看到此類邏