????短暫幾天的學(xué)習(xí)，讓我產(chǎn)生如下體會：? ??

????首先，相對于傳統(tǒng)的邏輯學(xué)，數(shù)理邏輯更加抽象，學(xué)習(xí)數(shù)理邏輯需要依賴邏輯本身，而不是生活常識，也不是傳統(tǒng)邏輯學(xué)的規(guī)律。也就是說，學(xué)習(xí)數(shù)理邏輯應(yīng)當(dāng)拋棄部分知識，從“零”開始的學(xué)習(xí)歷程。

????其次，數(shù)理邏輯很強(qiáng)調(diào)嚴(yán)謹(jǐn)性，尤其在證明過程中要有理有據(jù)，其根據(jù)或是公理，又或是通過分離規(guī)則得到的結(jié)論，也可以是已證明的結(jié)論。其證明仿佛是內(nèi)生的數(shù)學(xué)發(fā)展的縮影。

????再次，不論是邏輯學(xué)還是數(shù)理邏輯，都包含思維規(guī)律和概念推導(dǎo)的內(nèi)容，通過學(xué)習(xí)數(shù)理邏輯有助于鍛煉我們的邏輯思維能力，但我們不應(yīng)該拘泥于數(shù)理邏輯的形式證明，畢竟數(shù)理邏輯僅僅是一種理念，我們需要的是解決實(shí)際問題的能力，對其的靈活運(yùn)用更為重要。數(shù)理邏輯的學(xué)習(xí)有利于增強(qiáng)數(shù)學(xué)思維能力，提高科學(xué)思維能力，同時(shí)也基本見證了思維邏輯科學(xué)的發(fā)展歷程。

????最后，我感受到數(shù)理邏輯學(xué)習(xí)的最大難度是對符號和內(nèi)定理的掌握，數(shù)理邏輯不像其他數(shù)學(xué)分支研究的前沿內(nèi)容，主要是對內(nèi)生系統(tǒng)定理的建立和完善，關(guān)鍵在于腳踏實(shí)地的掌握。