命题公式集F（S）在Godel系统中的一个24类分划.pdfVIP

第 35卷 第6期 兰 州 理 工 大 学 学 报 V0L35 No．6 2009年 12月 JournalofLanzhouUniversityofTechnology Dec．2009 文章编号：1673—5196(2OO9)O6—0138-03 命题公式集F()在Godel系统中的一个24类分划 张花荣 (中国计量学院理学院，浙江杭州 310018) 、 摘要：将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中，在Godel系统中引入确定集的概念，并按不 同确定集对Godel系统中的公式集F(S)进行分类，得到F(S)在Godel系统中的一个24类分划．证明这种划分关 于1是同余的． 关键词：分划；Godel系统；确定集；封闭类 中图分类号：O159}O153 文献标识码：A A 24-classpartitionofpropositionalformulasetF(S)inGodelsystem ZHANG Hua-rong (SchoolofScience，ChinaJiliangUniversity，Hangzhou 310018，China) Abstract：TheRo—implicitoperator-basedpartitionmethodofvalidationwasgeneralizedintoGodelsys— tern．BymeansofintroductionoftheconceptofvalidationsetinGodelsystem ，thepropositionalformula setF(s)waspartitionedintotwenty-fourclassesanditwasprovedthatthispartitionwascongruentabout negation． Keywords：partition；Godelsystem；validationset；closedclass 分类思想，就是根据对象本质属性的相同点与 1 基本知识 不同点，将其分成几个不同种类的一种数学思想．它 既是一种重要的数学思想，又是一种重要的数学逻 定义 1 设S一 {P，…，z}为一可数集，]是 辑方法．通过分类人们可以对所研究的对象有进一 一 元运算，V和一是二元运算，F(S)是由S生成的 步的认识．比如，关于集合，可以按照集合的个数进 (]，V，一)型 自由代数，则称 F(S)为公式集．称 行分类 ；关于线性空间，可以按照维数进行分类 ；关 F(S)中的元为公式，称 S中的元为原子公式． 于拓扑空间，可以按照其分离性的强弱进行分类，等 定义2 若在[0，1]中规定： 等．各种分类加深人们对相应研究对象的认识．关于 ] 口= 1一 a 命题公式集F(S)，自然也存在通过分类进行研究的 aV =max {4，) 问题．在多值逻辑里，早在 1952年文[1]提出以可靠 一 Rc 一{1 程度来区分公式的思想．文[2，3]将此思想具体化， 在基于风一蕴涵算子的逻辑系统引人∑一(旷重言式) 则[O，1]成为 (]，V，一)型代数，称之为连续值 概念，文[4]就赋值域为[o，1]的情形给出F(5)的一 Godel逻辑系统，记为G_ 定义3 设 ：F(S)一[0，1]是映射，若 满足： 个7类分划．文[5]基于R0一蕴涵算子对F(s)中公