CAJ | 학술논문

形式逻辑的外延排除否定（）与辩证逻辑的内涵反称否定（～）是一对呈正反对称互补关系的否定算子，它们对任意词项的非反否定之外延结果既有同又有异。通过对二极对立统一体和三极对立统一体之构成词项的非反否定演算，引出了此两种逻辑共有的“米”字型否定算法之外延结果和辩证逻辑特有的“日”字型否定算法之外延结果，并以事实为依据，验证了对此两种性质根本就不相同的否定算法之外延结果的同异性理论分析。
형식라집적외연배제부정（）여변증라집적내함반칭부정（～）시일대정정반대칭호보관계적부정산자，타문대임의사항적비반부정지외연결과기유동우유이。통과대이겁대립통일체화삼겁대립통일체지구성사항적비반부정연산，인출료차량충라집공유적“미”자형부정산법지외연결과화변증라집특유적“일”자형부정산법지외연결과，병이사실위의거，험증료대차량충성질근본취불상동적부정산법지외연결과적동이성이론분석。
The donnotative eliminating negation of the formal logic and the connotaive inversive negation are a pair of negative operators with the complementary relationship of positive-negative symmetry,and they have the similarities and differences for the donnotative re-sults of the non-inversive negation about the arbitrary items.The non-inversive negative calculation of items from dipole and triple unity of opposites leads to the mutual donnotative result of the negative calculation with the pattern of“米”and the special result in dialecti-cal logic with the“日”pattern.According to the facts,the two theoretical analysis of the similarities and differences from the donnota-tive results of the different negative calculations with different essence are proved.