命题演算系统f中的Boole型理论.pdfVIP

维普资讯 第 36卷 第 4期 陕西师范大学学报 (自然科学版) Vo1．36 No．4 2008年 7月 JournalofShaanxiNormalUniversity(NaturalScienceEdition) Ju1．2008 文章编号 ：1672—4291(2008)04—0001—03 命题演算系统 *中的Boole型理论 王 茹， 王 国俊 (陕西师范大学 数学与信 息科学学院，陕西 西安 710062) 摘 要：研究了命题演算系统 中一类特殊理论——Boole型理论的内部结构．从语构 、语义两个 方面分别给 出了一个理论为 Boole型理论的几个充要条件．利用Boole型理论在全体公式集 F(S) 中引入 了同余关系，证 明了商代数是 Boole代数，并找到了TH(L)为最小的Boole型闭理论． 关键词 ：Boole型理论 ；Ro代数 ；Boole代数 ； 系统 中图分类号 ：O141．1 文献标识码 ：A Boolean theory in thepropositionallogicsystem WANG Ru，WANG Guo—jun (CollegeofMathematicsandInformationScience，ShaanxiNomr alUniversity，Xian710062，China) Abstract：Tostudythecharacterizationsofa specialtheory—Boolean theory in thepropositional logicsystem ．SomenecessaryandsufficientconditionsforatheorytobeBooleanareobtained from two aspectsof syntacticsand semantics，respectively． By means ofBoolean theory a congruencerelationonF(S)isdefinedanditisprovedthatthecorrespondingquotientalgebrais aBooleanalgebra．Moreover，theminimalclosedBooleantheoryTH(L)isgiven． Keywords：Booleantheory；Ro—algebra；Booleanalgebra； system MRSubjectclassification：03B52；O6E99 近年来 ，对各种命题逻辑系统的基础研究 日趋 从语义角度出发揭示Boole型理论的内部结构． 活跃，为了建立命题逻辑系统 的完备性 ，作者曾 1 预备知识 提出了R。代数的概念 ，并 引入 了 MP滤子的概 念_】≈]．此后众多学者相继展开了对 R。代数内部结 定义 1… 设S一 {P ，P ，…}，F(S)是 由S生 构的研究 。]，在 R。代数等系统 中引入 了特殊的 成的(一，V，一)型 自由代数，称 S中的元为形式系 MP滤子 ，即布尔滤子的概念 ，并通过对这种滤子 的 统 中的原子公式(或原子命题)，F(S)中的元为 研究揭示了相应的代数系统 的内部结构．这些研究 公式(或命题)． 可视为对逻辑系统 等语义方面的研究．一个 自 定义 2… 形式系统 中的公理 由以下形式 然的问题是 ，能否在 系统中展开相应的语构方 的公式组成 ： 面的研究．问：命题演算系统 中是否也有类似于