修正的RDP逻辑系统中的广义矛盾式  

Generalized contradictory theory in revised RDP logical system

作　　者：李顺琴[1] 惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《计算机工程与应用》2015年第11期50-54,共5页Computer Engineering and Applications

基　　金：陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安市科技计划项目(No.2013ks-03);延安大学自然科学专项基金(No.YDQ2014-45)

摘　　要：讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。The theory of generalized contradictory is discussed and divided in revised RDP logical system. A downgrade algorithm among generalized contradictions in revised RDP logical system is introduced and its properties are discussed.

关 键 词：修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划 

分 类 号：O141.1[理学—数学]