逻辑系统RDP中广义重言式的语义MP、HS规则.pdfVIP

第 28卷第 4期 模 糊 系 统 与 数 学 Vo1．28．No．4 2014年 8月 FuzzySystemsandMathematics Aug．．2014 文章编号：1001—7402(2014)04—0001—05 逻辑系统 RDP中广义重言式的语义 MP、HS规则 惠小静 ，郝 国平 (延安大学 数学与计算机科学学院，陕西 延安 716000) 摘 要 ：将修正的Kleene逻辑系统 中的语义MP规则和语义HS规则推广后应用于 RDP逻辑系统 ，讨 论 了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则，得 出在逻辑 系统 D 中， Z ， 1 ＼+ ／ 1 、 + 1 广义语义 【寺J—MP，l寺J—Hs，1-MP，1-HS规则成立，而广义语义÷一MP，÷一Hs规则不成立。 关键词 ：RDP逻辑系统；广义重言式；广义语义 MP规则 ；广义语义HS规则 中图分类号 ：O141 文献标识码 ：A 引言 为了适应模糊理论研究和应用的快速发展 ，建立一种新的模糊命题演算系统及相应的语义理论势 在必行。文献Eli建立了相应的模糊逻辑系统 RDP，文献[2-1讨论了系统 RDP中的广义重言式理论 ，并 给出了逻辑系统RDP中F(S)的分划。文献[3]、文献E4]、文献[5]分别讨论了 逻辑系统和Godel逻 辑系统中的广义语义MP规则和广义语义HS规则。文献E6]、文献[71、文献[8]、文献I-9]、文献[1O]、文 献[11]讨论了逻辑系统H 中的广义语义MP规则和广义语义HS规则，以及对于逻辑系统H。中广义 语义MP规则和广义语义 HS规则证 明方法的改进 。 本文在上述研究基础上 ，探讨了RDP逻辑系统中广义重言式 的广义语义 MP规则和广义语义 HS 规则，在逻辑系统D中，论证了广义语义I专l—MP，【专J—Hs，l_MP，1一Hs规则成立，通过反例，说 ～ ／ 一‘ ／ 1 1 明了在逻辑系统D去中，广义语义÷一MP，寺一HS规则不成立。 厶 2 预备知识 定义2．1[1o] 设 S一 {P，P，…)是可数集 ，一是一元运算 ，V与一是二元运算 ，由 生成 的(一 ， V，一)型 自由代数记作F(S)。F()中的元素叫公式或命题， 中的元素叫原子公式或原子命题。 定义2．2L】 设 V：F()一 L是映射 ，若 是 (一，V，一)型的同态 ，即 (一A)一 一 ( ) (A V B)一 ( )V V(B) (A — B)一 (A)一 (B) 收稿 日期 ：2013—12-07；修订 日期 ：2014—02—26 基金项 目：国家 自然科学基金资助项 目；陕西省 自然科学基金资助项 目(2014JM1020)；陕西省高水平大学建设专项资 金资助项 目(2012SXTS07)；延安大学博士基金资助项 目(YDBK2013-12)；延安市专项基金资助项 目(2013-KG16) 作者简介：惠小静 (1973一)，女，陕西清涧人，延安大学数学与计算机科学学院副教授 ，博士，研究方向：不确定性推理；郝 国平 (1987一)，男，陕丁绥德人，延安大学数学与计算机科学学院研究生 。研究方 向：不确定性推理 。 2 模 糊 系 统 与 数 学 2014