邏輯學(xué)輔助教學(xué)軟件的研究.pdf

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

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

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