命题公式集F(S)的基于修正的Gdel算子的十八类分划  

An eighteen-classification partition of propositional formula set F(S)based on revised Gdel operator

作　　者：李顺琴[1] 王国俊[2] 

机构地区：[1]延安大学数学与计算机科学学院,延安716000 [2]陕西师范大学数学研究所,西安710062

出　　处：《四川大学学报（自然科学版）》2009年第6期1615-1619,共5页Journal of Sichuan University(Natural Science Edition)

基　　金：国家自然科学基金重点项目(10331010)

摘　　要：本文利用修正的Gdel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.In this paper the characterization of formula's validation set are discussed by using revised Gdelimplication operator in the propositional formula set F(S).Using this concept eighteen classifications of F(S) is given and it is proved that this partition about negation is congruent.Moreover,it is discussed whether each classification in F(S) is closed under modus ponens and hypothetical syllogism.

关 键 词：命题公式 修正 del算子 based SET characterization classification 运算 确定集 PARTITION 蕴涵算子 封闭性 PAPER 种分 证明 同余 特征 讨论 工具 

分 类 号：N55[自然科学总论]