昆明学院学报
昆明學院學報
곤명학원학보
JOURNAL OF KUNMING UNIVERSITY
2010年
1期
41-48
,共8页
逻辑推理%相同公理%相似公理%相异公理%相反公理%内涵%外延%同构%异构
邏輯推理%相同公理%相似公理%相異公理%相反公理%內涵%外延%同構%異構
라집추리%상동공리%상사공리%상이공리%상반공리%내함%외연%동구%이구
用事实验证了逻辑推理4大基础类型的互蕴公理,进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系.由此说明:除外延性经典数理逻辑的推理演算之外,逻辑学还存在着更为广阔的发展空间,新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景.
用事實驗證瞭邏輯推理4大基礎類型的互蘊公理,進而說明此4大公理之內涵與外延間的同構性與異構性的相互轉換關繫.由此說明:除外延性經典數理邏輯的推理縯算之外,邏輯學還存在著更為廣闊的髮展空間,新世紀非經典數理邏輯的內涵性或外延性推理縯算研究有著燦爛的前景.
용사실험증료라집추리4대기출류형적호온공리,진이설명차4대공리지내함여외연간적동구성여이구성적상호전환관계.유차설명:제외연성경전수리라집적추리연산지외,라집학환존재착경위엄활적발전공간,신세기비경전수리라집적내함성혹외연성추리연산연구유착찬란적전경.