北京联合大学学报(自然科学版)
北京聯閤大學學報(自然科學版)
북경연합대학학보(자연과학판)
JOURNAL OF BEIJING UNION UNIVERSITY(NATURAL SCIENCES)
2006年
3期
43-47
,共5页
古典逻辑%互逆主义逻辑%实质蕴涵怪论%互逆蕴涵%二元认识%归纳复合%分解
古典邏輯%互逆主義邏輯%實質蘊涵怪論%互逆蘊涵%二元認識%歸納複閤%分解
고전라집%호역주의라집%실질온함괴론%호역온함%이원인식%귀납복합%분해
提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理.互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现.
提齣瞭古典邏輯中的一些缺陷,分析指齣這些缺陷最根本的原因是將實質蘊涵直接應用于推理.互逆主義邏輯提齣瞭二元認識論,通過歸納複閤的方法建立命題,通過分解的方法應用命題,從而徹底解決瞭古典邏輯中的缺陷,併使推理可以機械地進行,便于計算機實現.
제출료고전라집중적일사결함,분석지출저사결함최근본적원인시장실질온함직접응용우추리.호역주의라집제출료이원인식론,통과귀납복합적방법건립명제,통과분해적방법응용명제,종이철저해결료고전라집중적결함,병사추리가이궤계지진행,편우계산궤실현.