修正的RDP系统中的一种升级算法及其性质  

The Properties of a Upgrade Algorithm in the Revised RDP Logic System

作　　者：李顺琴[1] 

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

出　　处：《云南师范大学学报（自然科学版）》2015年第6期34-38,共5页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：陕西省自然科学基金资助项目(2014JM2-1003);陕西省科技计划资助项目(2014ks15-03-07);延安市科技计划资助项目(2013ks-03);延安大学自然科学专项基金资助项目(YDQ2014-45)

摘　　要：通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.By the study of the revised RDP logic system, congruence partitions about- onE（S） have been given in the revised RDP logic system. Moreover, a upgrade algorithm among generalized tautologies have been give and its properties have been discussed in the revised RDP logic system. It is proved that in the revised RDP logic system, tautologies can not he get by using upgrade algorithm to non-tautologies within finite times of upgrade algorithm.

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

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