在命題演算系統(tǒng)中?,由于演繹定理的運(yùn)用,演繹序列通常都會(huì)較為簡(jiǎn)單,而證明中只能使用公理和MP規(guī)則,因而證明的步驟較為復(fù)雜。而且,有一類定理的演蜂程序比較容易獲得,而證明步驟卻常常讓人"意想不到"。在數(shù)理邏輯的教學(xué)過(guò)程中,如何尋找"證明的技巧",是一個(gè)頗為實(shí)際的問(wèn)題。事實(shí)上,對(duì)于有一類定理,通過(guò)對(duì)演繹程序的"仔細(xì)觀察",可以獲得相應(yīng)的"證明技巧"。 

【文章來(lái)源】：貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào). 2018,36(03)

【文章頁(yè)數(shù)】：6 頁(yè)

【參考文獻(xiàn)】：
期刊論文
[1]論經(jīng)典命題邏輯公理系統(tǒng)L中的證明技巧[J]. 程和祥,劉強(qiáng).  重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)). 2019(03)



本文編號(hào)：3192409