■ukasiewicz的實(shí)然三段論系統(tǒng)■A的證實(shí)與證偽
發(fā)布時(shí)間：2021-01-30 18:39
以Johnson等文獻(xiàn)為基礎(chǔ),利用廣義量詞理論和集合論,對(duì)■ukasiewicz提出的實(shí)然三段論系統(tǒng)■A進(jìn)行深度拓展研究,并給出一些定理說明如何形式化地對(duì)實(shí)然三段論進(jìn)行證實(shí)與證偽。
【文章來源】：重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)). 2020,34(02)
【文章頁(yè)數(shù)】：9 頁(yè)
【參考文獻(xiàn)】：
期刊論文
[1]結(jié)構(gòu)主義視域下的現(xiàn)代邏輯學(xué)[J]. 郝一江,陶侃. 四川師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2018(03)
本文編號(hào)：3009394
【文章來源】：重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)). 2020,34(02)
【文章頁(yè)數(shù)】：9 頁(yè)
【參考文獻(xiàn)】：
期刊論文
[1]結(jié)構(gòu)主義視域下的現(xiàn)代邏輯學(xué)[J]. 郝一江,陶侃. 四川師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2018(03)
本文編號(hào)：3009394
本文鏈接：http://sikaile.net/shekelunwen/ljx/3009394.html
最近更新
教材專著
