北京联合大学学报(自然科学版)
北京聯閤大學學報(自然科學版)
북경연합대학학보(자연과학판)
JOURNAL OF BEIJING UNION UNIVERSITY(NATURAL SCIENCES)
2005年
4期
9-13
,共5页
互逆逻辑%逻辑命题%逻辑定理%一层逻辑%二层逻辑%周氏图
互逆邏輯%邏輯命題%邏輯定理%一層邏輯%二層邏輯%週氏圖
호역라집%라집명제%라집정리%일층라집%이층라집%주씨도
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.
互逆主義邏輯對命題進行瞭嚴格分類,認為命題可分成不同級彆、不同階次.同時互逆主義邏輯的多層邏輯思想揭示瞭各類命題之間的內在關繫,最高層即二層邏輯主要用于處理最高級彆的邏輯命題,這是經典邏輯所不具備的功能.互逆主義邏輯還提供多種方法幫助證明命題的真偽,週氏圖就是其中經常使用的方法之一.
호역주의라집대명제진행료엄격분류,인위명제가분성불동급별、불동계차.동시호역주의라집적다층라집사상게시료각류명제지간적내재관계,최고층즉이층라집주요용우처리최고급별적라집명제,저시경전라집소불구비적공능.호역주의라집환제공다충방법방조증명명제적진위,주씨도취시기중경상사용적방법지일.