n值命题逻辑系统Wn中公式的真度理论研究.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FuzzySystems September n值命题逻辑系统巩中公式的真度理论 张安英于西昌张兴芳 (聊城大学数学科学学院，山东聊城252059) 摘要：本文给出了适用于任何模糊蕴合算子的n值命题逻辑公式真度的新定义．在n值 命题逻辑系统矸0中，得到了公式P，Pvq，PA口，P—g真度的计算公式，并研究了近似推理 理论． 关键词：扎值命题逻辑；命题变元集赋值；公式的真度 中图分类号：0141．1 文献标识码：A §1 引言及预备知识 继文【1，2】提出赋值域为[0，1】与{o，1)中的命题逻辑公式的真度和文[3】3讨 论LukasiewicsZ／,值命题逻辑中公式真度的理论之后，本文建立了71．值命题逻辑中公 式真度的新理论．文中关于真度的定义不但与【l，2】中的定义思想是一致的，而且使其 简化．本文利用命题变元集赋值的思想，在礼值命题逻辑系统中得到了部分公式的计 算公式，研究了关于真度的近似推理理论． 设L是一命题逻辑系统，^彳是势为礼的(1，V，一)型风，S=伽1，却，-．-，‰，…) 为工上的全体原子公式之集，F(S)为L的全体公式之集，P1，仇，…，‰，…称为 {p1，P2，…，‰)，A记作A(pl，p2，…，pm)． v(A)=A扣01)，口如)，·一，”(m))=A(x，，zz，-一，‰)∈M” 称v(A)为公式A在逻辑系统L中的语义或语义函数． 称薯簖为几值命题逻辑公式A的真度，记为r(A)． 砸磊酾汀而面面F——一 ’ 作者简介：张安英(1981一)，女，硕士研究生，主要从事非经典数理逻辑领域的研究 基金项目：山东省自然科学基金(批准号：Y2003A05) !!! 堕塑系统与数学 第20卷(增刊) 下文中M={o，击，舞，l}，n一2，3，…，逻辑系统简记为眠，其中 五cD(z，3，)2 gⅣ． i：二二2，z 其中。，Y∈[0，1】．出现的公式都是F(S)中的公式． 称公式B为公式A的k元扩张，记作B=A(舯，显然VA(A)=VB(B)． 则 wE掣㈣)％删∞’ ㈨。。虽∥^(A1 丁(耻寄=型鬻南一． ^(^)(A(2’)，所以 盖 竺 E％(A) 。～7 盏m一} 一}攀 型孙：f(A) lQ(A)I §2 佗值命题逻辑系统彤，中几个基本公式的真度的计算 定理2．1在疗值命题逻辑系统％中，P，口为命题变元，则7_∽=7．(g)=；i 下∞vg)：鱼n-t*‘三2 查，当礼为奇数时，下∞。q)：竺：善：：墓!苎． )=————_7_——一，当礼为奇数时，下∞一)=—_二——弓刍—苎二． 证明(i)在眠中，对命题变元P的赋值共有n个，即0，击，…，糟，1，所 以r(p)：墨妄：{． 在不引起歧义的情况下，将 ∑ 0Vq)， ∑v(pAq)， ∑ ∞一q) 简记为∑v(pVq)，∑口(pAg)，∑0一q)． (ii)