计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2015年
11期
50-54
,共5页
修正的RDP逻辑系统%广义重言式%广义矛盾式%降级算法%分划
脩正的RDP邏輯繫統%廣義重言式%廣義矛盾式%降級算法%分劃
수정적RDP라집계통%엄의중언식%엄의모순식%강급산법%분화
revised RDP logic system%generalized tautology%generalized contradiction%downgrade algorithm%partition
讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
討論瞭脩正的RDP邏輯繫統中的廣義矛盾式，併對該繫統中的廣義矛盾式進行瞭分劃；給齣瞭脩正的RDP邏輯繫統中的廣義矛盾式之間的一種降級算法併討論瞭它的性質。
토론료수정적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.
