Disjunctive命题理论的抽象模型.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FuzzySystems September Disjunctive命题理论的抽象模型 陈婕 陈仪香 (上海师范大学数理信息学院，上海200234) 摘要：本文将从理论模型角度研究Disjunctive命题理论，引八F一抽象模型．全抽象模 型以及自由模型等概念，讨论他们的性质=和关系． 关键词：Disjunctive命题理论；抽象模型；dD．半格 中图分类号：·0189．1；TP301文献标识码： A §1 引言及基本知识 陈仪香教授在文献f11中引入了D蝴unctive命题理论，其目的在于建立稳定论域， 命题理论，引入F一抽象模型、全抽象模型以及自由模型等概念，讨论他们的性质和 足． 定义1．1设尸是一非空集合，其元素成为原子命题，相应地，p称为原子命题集． P上的disjunctive命题，简称d．命题，≯，归纳定义如下： 1．每个原子命题是d-命题； 2．常量T与F是d-命题： 3．若庐与妒是d-命题，则咖A妒是d-命题； 4．若{觑h∈n是～簇d-命题，且对于每一对不同的指标(iJ)有P(丸奶)成立， 则V☆是d’命题． 符号Cf尸)表示P上的所有d．命题． 定义1．2一个disjunctivesequentr卜母，简称d-sequent，是指一对d-命题的有 命题西．所谓逻辑上推出是指在公理基础上，经下面的推理规刚推出，每个推理规则都 形如．瓣． 1收稿日期：2006-06-28． 作者简介：陈婕(1982-)，女，硕士研究生，主要从事格上拓扑学领域的研究 基金项且：国家自然科学基金，教育部高等学校博士学科点专项科研基 金(20050270004)，上海市重点学科基金(T0401) 14 模糊系统与数学 第20卷(增刊) 表1：Disjunctive命题理论推理规则 定义1．3一个sequent集在规则下是封闭的是指，只要规则的前提在这个集合中 那么这个规则的结论就在这个集合中．若S是一个仅由原子命题组成的sequent(称 称T(S)中的sequent为直觉定理，简称定理． 来建立D蚓unctive命题理论的模型【1，2】．这里简要地介绍这类半格． 定义1．4L是有最大元1和最小元0的交半格，若 1．对任意的z，Y∈L，如果zAy=0，我们称z和可是分离的． 2．对三的任意子集B，若B中的任何两个不同的元素￡，Y是分离的，则B叫分 离子集． 半格． 定义1．5D-半格三称为分配的，若它满足下面的条件： B)．分配 (d)对于三中的每一个元素a以及分离子集B，有aA(LIB)=U(aA 的D一半格，简称为dD．半格． 定义1．6给定dD-半格L．关于原子命题集P在L中的结构是指映射M：P— L． 列条件： 1．P(妒，妒)推出It堋MA4伽M=o； 2．若咖∈P，则4踟M=M∞)； 3．4列M=1，L的最大元； 4．0硎M=0，L中的最小元； 5．渺A妒lM=l伽肘A4伽M，L中的二元交； 6．4V硝≯ilM=珥e，I≯卸盯，L的分离并． 原子命题集P在dD．半格L中的结构M满足．P上的sequentF卜西是指在L 中，有^，∈r㈣M≤4伽^f成立． 陈婕，陈仪香：Disjunctive命题理论的抽象模型 15 满足T的所有公理，则称结构Ⅳ为T的模型． 理，则M满足庐卜妒，即有I伽M≤I伽M成立． §2 F一抽象模型 对于等价类M以及㈨，定义【纠≤TM当且仅当庐卜妒是T的定理．这样所得到的