Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (12): 49-52.

Previous Articles     Next Articles

Theory of generalized tautology in subalgebras of 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-15 Published:2015-06-30

修正的RDP逻辑系统中子代数的广义重言式理论

李顺琴,惠小静   

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

Abstract: The theory of generalized tautology in order dense sub-algebras of the revised RDP logical system is considered. Congruence partitions about[~]on [F(S)] have been given in order dense sub-algebras of logic system [RDP] by utilizing the concepts of accessible generalized tautology and [α-]contradiction.

Key words: revised RDP logical system, generalized tautology, [α-]contradiction, subalgebra, partition

摘要: 讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[~]同余的一个分划。

关键词: 修正的RDP逻辑系统, 广义重言式, [&alpha, -]矛盾式, 子代数, 分划