Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计.pdfVIP

第 期 电 子 学 报 １０ Ｖｏｌ．４０ Ｎｏ．１０ 年 月 ２０１２ １０ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ． ２０１２ Ｌｕｋａｓｉｅｗｉｃｚｎ值命题逻辑系统中公式的 一般真度和形式推演结论的不可靠度估计 张家录，吴 霞 （湘南学院数学系，湖南郴州４２３０００） 摘 要： 在Ｌｕｋａｓｉｅｗｉｃｚｎ值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质，说明一般真度满足 公理 在形式推演中，引进公式的不可靠度和前提的必要度概念，证明在 值逻辑系统中，一个 Ｋｏｌｍｏｇｏｒｏｖ ． Ｌｕｋａｓｉｅｗｉｃｚｎ 有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和 通过不可靠度在全体公式集上建立逻 ． 辑伪距离空间，证明逻辑伪距离空间中没有孤立点，利用逻辑伪距离在全体公式集 （）中提出两种不同形式的近似 ＦＳ 推理模式． 关键词： Ｌｕｋａｓｉｅｗｉｃｚｎ值逻辑系统；真度；不可靠度；真值状态；伪距离；近似推理 中图分类号： 文献标识码： 文章编号： （ ） Ｏ１４２ Ａ ０３７２１０２０８５０６ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１２．１０．０３０ ＴｈｅＧｅｎｅｒａｌｌｙＴｒｕｔｈＤｅｇｒｅｅｓｏｆＦｏｒｍｕｌａｓｉｎｎＶａｌｕｅｄＬｕｋａｓｉｅｗｉｃｚＰｒｏｐｏｓｉｔｉｏｎａｌ ＬｏｇｉｃａｎｄｔｈｅＥｓｔｉｍａｔｉｏｎｏｆＵｎｃｅｒｔａｉｎｔｙＤｅｇｒｅｅｏｆＣｏｎｃｌｕｓｉｏｎｉｎＦｏｒｍａｌＩｎｆｅｒｅｎｃｅ ， ＺＨＡＮＧＪｉａｌｕＷＵＸｉａ （ ， ， ， ， ） ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓＸｉａｎｇｎａｎＵｎｉｖｅｒｓｉｔｙＣｈｅｎｚｈｏｕＨｕｎａｎ４２３０００Ｃｈｉｎａ ： Ａｂｓｔｒａｃｔ ＴｈｉｓｐａｐｅｒｉｎｔｒｏｄｕｃｅｓｔｈｅｃｏｎｃｅｐｔｏｆｔｒｕｔｈｄｅｇｒｅｅｓｏｆｐｒｏｐｏｓｉｔｉｏｎｓｉｎｎｖａｌｕｅｄＬｕｋａｓｉｅｗｉｃｚｌｏｇｉｃａｌｓｙｓｔｅｍｂｙ ｍｅａｎｓｏｆｔｈｅｉｎｆｉｎｉｔｅｐｒｏｄｕｃｔｏｆｐｒｏｂａｂｉｌｉｔｙｏｎｔｈｅｖａｌｕｅｄｏｍａｉｎ．Ｂｙｄｉｓｃｕｓｓｉｎｇｔｈｅｐｒｏｐｅｒｔｉｅｓｏｆｔｒｕｔｈｄｅｇｒｅｅｗｅｉｌｌｕｓｔｒａｔｅｔｈａｔｔｈｅ ｔｒｕｔｈｄｅｇｒｅｅｓａｔｉｓｆｉｅｓＫｏｌｍｏｇｏｒｏｖａｘｉｏｍｓ．Ｂｙｉｎｔｒｏｄｕｃｉｎｇｔｈｅｃｏｎｃｅｐｔｓｏｆｕｎｃｅｒｔａｉｎｔｙｄｅｇｒｅｅｏｆｆｏｒｍｕｌａｓａｎｄｅｓｓｅｎｔｉａｌｎｅｓｓｄｅｇｒｅｅｏｆ ｐｒｅｍｉｓｅｓｗｅｐｒｏｖｅｔｈａｔｔｈｅｕｎｃｅｒｔａｉｎｔｙｄｅｇｒｅｅｏｆｃｏｎｃｌｕｓｉｏｎｉｓｌｅｓ