乘积逻辑系统中公式的真度函数理论.pdfVIP

58 2011。47(25) ComputerEngineeringandApplications计算机工程与应用 乘积逻辑系统中公式的真度函数理论 罗敏霞，姚宁 Minxia，拗D LUO Ning 中国计量学院理学院数学系，杭州310018 of of Mathematics，SchoolScience，ChinaUniversity，Hangzhou310018，China Department Jiliang in and function offormulas LUOMinxia．YAO theory logic Ning．Truthdegree productsystem．ComputerEngineering Applications，2011。47(25)：58-60． Abstract：This focusesonthe ofthetruth function offormulasin mainly study degree theory productlogicsystem． paper truth The ofthetruth functionin is seriesof ofthe this。a concept degree productlogicsystemgiven．Following properties is whichshowsthat andf- functionarederived．Moreover．itto the theorem degree importantprove f-complete f·syntactic areharmonious． semantics words：truth theorem Key degreefunction；f—theorem；r-tautology；r—deduction 摘要：基于乘积逻辑系统研究公式的真度函数理论．在乘积逻辑系统中给出真度函数的概念，得到真度函数的一系列性质，证 明r．完备性定理，说明f．语构与r．语义的和谐性． 关键词：真度函数：f．定理；f．重言式；f．演绎定理 文章编号：1002—8331(2011)25-0058-03文献标识码：A 中图分类号：18 DOI：10．3778巧．issn．1002．8331．2011．25．014 目前，逻辑系统中对于公式真度的研究愈来愈热。自文 (A3)(9＆们一缈咖 献[1】中通过对公式引入真值的思想将数理逻辑概念程度化以 (A4)(尹劬_们)_㈣j力) 来，逻辑概念程度化的研究已有很多成果。例如：文献【2】利用 (A5a)仰一舻_力)斗(仰∽寸z) 测度论的思想，在经典二值命题逻辑中引入公式真度及公式 (A5b)(@∞斗力一仞斗似--枷 间相似度的概念，研究二值命题逻辑中公式的真度理论；文献【3】 (A6)(如斗们斗力_((@一们j力一力 将公式的真度理论推广至疗值逻