计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (11): 50-54.

• 理论研究、研发设计 • 上一篇    下一篇

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

李顺琴,惠小静   

  1. 延安大学 数学与计算机科学学院,陕西 延安 716000
  • 出版日期:2015-06-01 发布日期:2015-06-12

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

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

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

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