昆明学院学报
昆明學院學報
곤명학원학보
JOURNAL OF KUNMING UNIVERSITY
2009年
4期
48-54
,共7页
相同公理%相似公理%相异公理%相反公理%外延非演算%内涵反演算
相同公理%相似公理%相異公理%相反公理%外延非縯算%內涵反縯算
상동공리%상사공리%상이공리%상반공리%외연비연산%내함반연산
用中华传统8大阴阳矛盾范畴分析数学中的开闭区间,得出相同、相似、相异、相反这4大逻辑推理基础类型间存在着三极对立统一的组成关系,进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算.由此说明:只有将对逻辑词的外延否定演算和对描述词的内涵否定演算对称互补起来,这才可能形成一个较为完善的现代数理逻辑关于能指否定和断定否定相互结合的逻辑演算体系.
用中華傳統8大陰暘矛盾範疇分析數學中的開閉區間,得齣相同、相似、相異、相反這4大邏輯推理基礎類型間存在著三極對立統一的組成關繫,進而提齣涉及此組成關繫的邏輯推理基礎類型的互蘊公理及其描述內涵的反縯算和邏輯外延的非縯算.由此說明:隻有將對邏輯詞的外延否定縯算和對描述詞的內涵否定縯算對稱互補起來,這纔可能形成一箇較為完善的現代數理邏輯關于能指否定和斷定否定相互結閤的邏輯縯算體繫.
용중화전통8대음양모순범주분석수학중적개폐구간,득출상동、상사、상이、상반저4대라집추리기출류형간존재착삼겁대립통일적조성관계,진이제출섭급차조성관계적라집추리기출류형적호온공리급기묘술내함적반연산화라집외연적비연산.유차설명:지유장대라집사적외연부정연산화대묘술사적내함부정연산대칭호보기래,저재가능형성일개교위완선적현대수리라집관우능지부정화단정부정상호결합적라집연산체계.
