扰动模糊命题逻辑系统的语义（原版论文）.pdf文档全文免费阅读、在线看

  本文关键词：扰动模糊命题逻辑系统的语义，由笔耕文化传播整理发布。

辽宁师范大学 硕士研究生学位论文 沦文题。目：扰动模糊命题逻辑系统的语义 研究生：盏艳甲 指导教师：陈图公教授 学科专、№麻用数学 年 级：2002级 辽宁师范大学研究崔部 扰动模糊命题逻辑系统的语义 扰动模糊命题逻辑系统的语义 研究生：孟艳平 指导教师：陈图云 专业：应用数学 研究方向：数理逻辑及其对计算机的应用 摘要：扰动模糊命题逻辑系统的产生源于实际问题的需要，但在该系统中对王国俊教授 关于一维逻辑系统形中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利． 本文通过修改二维蕴涵算子，建立一个新的扰动模糊命题逻辑系统D，将王国俊教授 关于一维逻辑系统矿中广义重言式理论推广到二维相应的扰动模糊命题逻辑系统中， 得到与之类似的结果．首先，本文给出了逻辑系统D，D中的厂‘义重言式的分类，对偶 地，，也讨论了逻辑系统D，D中的广义矛盾式的分类．其次，不仅给出了无限值逻辑系 统D，D中的升值算法，还讨论了有限扰动模糊逻辑系统D。中的公式分类及升级算法． 最后，讨论了该系统中的广义语义MP规则和广义语义Hs规则．本文表明在某些特殊 的二维赋值格上，王教授关于一维赋值格的理论完全可以推广． 关键词：模糊逻辑；命题逻辑；厂义重言式；升级算法；广义语义MP规则；广义语义 HS规则 引 言 数理逻辑已有300多年的历史，如今已经发展成为一门枝繁叶茂的科学了．按文献 【1]的划分，数理逻辑包括模型论，公理集合论，递归论和证明论四个部分，而按文献[2】 l 扰动模糊命题逻辑系统的语叉 的划分，则数理逻辑可分为五个部分，即在以上四个部分之外再单独把逻辑演算提出来 作为一个部分．经

  本文关键词：扰动模糊命题逻辑系统的语义，由笔耕文化传播整理发布。