二值命题逻辑公式的语构程度化方法.pdfVIP

维普资讯 第2期 电 子 学 报 v01．36 No．2 2OO8年2月 ACrAE】℃rR0NlCAsINlCA Feb． 2008 二值命题逻辑公式的语构程度化方法 张东晓 ，李立峰2 (1．集美大学理学院，福建厦门361021；2．西安邮电学院应用数理系，陕西西安 710061) 摘 要： 本文从语构理论人手，在经典二值命题逻辑系统中给出公式的语构真度的概念 ，从两个不同的角度给 出语构真度的等价刻画．给出语构真度的实例 ，说明原来在语义下的真度是语构真度，并且由语构真度诱导的相似度 和伪距离具有语义下相似度和伪距离的基本性质 ．给出 r．相容理论的概念，指出r．相容理论和相容理论的内在关系． 关键词： 二值命题逻辑；真度理论；语构真度；r．相容理论 中图分类号： 0142 文献标识码： A 文章编号： 0372．2112(2008)02-0325．06 SyntacticGradedMethodofTwo-Valude PropositionalLogicFormulas ZHANG Dong-xiao ，LILi．fe (1．s ofScknce，Jm／e／￡鼬 ．Xa／m~，Fuj／an361021， m； 2．DqⅫ咖删 of Mathemmi~andPhysics，Xi’∞ ofPostsand Ⅲl s．X／’∞，Shaanx／710061， m) Abstract： From thesyntacticalpointofview，theconceptofthesyntacticmlthdegreeofformulasisproposedintwo-valued ~ ifionallogicsystem．Twoequivalentdepioiontheo~msaboutsyntacticmJthdegreealein )dIlced．Bam‘plesofsyntactic 蛐 degreeillustratethatthe耐 naluuthdegreefrom sem cSisaspecialsyntac~c蛐 degree．Itispointedoutthattheshni- lmitydegreeandpseIld m曲 in(h】cedbysymacdc蛐 degreepossessrespectivelythe q，emesofshr~lm tydegreeand pseudo-metricfrom semantics．Theconceptofr-consistenttheoryisgiven．Thentheincinsicrelationbetweenr-consistentandcon- sistenttheorysipointedout． KeywOrdIS： two-valuedpropositionallogic；truthdegreetheory；syntactictruthdegree；r-O0l塔istem theory 备性定理成立 ．既然基于语义理论可以实现逻辑公式的 1 引言 程度化，那么一个自然的问题就是是否可以从语构的角 对逻辑公式的程度化一直以来是众多学者关注的 度给出逻辑公式的程度化，从而从语构的角度对计量逻 焦点L1 ，文献[3]针对模糊命题逻辑系统给出公式的 辑有新的发展?我们正是基于这一考虑，在二值命题逻 积分真度理论 ，而且积分真度理论也适用于其他模糊逻 辑系统L中提出语构真度理论，给出逻