Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (11): 50-54.

Previous Articles     Next Articles

Generalized contradictory theory in revised RDP logical system

LI Shunqin, HUI Xiaojing   

  1. College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China
  • Online:2015-06-01 Published:2015-06-12



  1. 延安大学 数学与计算机科学学院,陕西 延安 716000

Abstract: 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.

Key words: revised RDP logic system, generalized tautology, generalized contradiction, downgrade algorithm, partition

摘要: 讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

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