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

Theory of generalized tautology in revised RDP logical system

作　　者：李顺琴[1] 惠小静[1] 

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

出　　处：《济南大学学报（自然科学版）》2015年第4期315-320,共6页Journal of University of Jinan(Science and Technology)

基　　金：国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);陕西省科技计划社发攻关项目(2014ks15-03-07)

摘　　要：提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。A revised RDP logic system was proposed,in which the generalized tautology was finely partitioned. A new partition of F（ S） was obtained by utilizing the concept of generalized tautologies. A variety of generalized semantic MP rules and generalized semantic HS rules were obtained in the revised RDP logic system.

关 键 词：修正的RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 分划 

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