【摘 要】
:
首先,在模糊逻辑命题演算形式系统L*的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K*,基于R0代数的基本理论,给出了系统K*的若干语义概念,包括M-解释I,I-赋值,公式
【机 构】
:
盐城师范学院数学系,长春市教育学院数学系
论文部分内容阅读
首先,在模糊逻辑命题演算形式系统L*的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K*,基于R0代数的基本理论,给出了系统K*的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K*的基本性质,指出了系统L*的定理都是系统K*的定理,给出了系统K*与量词有关的一些重要定理,证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式;系统K*的可靠性定理成立,即系统K*中的定理关于任何R0
其他文献
近年以来,随着电网负荷结构的显著变化以及电网装机容量迅速增长,电网日常运行中负荷的峰谷差日益增大。有的时候高峰与低谷负荷的峰谷差最多甚至接近一倍,给电网的调度带来了极大的困难。作为发电主力的火电厂也承受着巨大的调峰压力,为了在激烈的发电市场竞争中立于不败之地,电厂在调峰过程中如何既能按要求进行调峰,又能将调峰造成的风险降低最低值得探讨。
论述了应用于提升机交-交变频矢量控制系统磁场定向的方法:在高低速时分别采用端电压检测和电流检测,以及高低速间平滑处理方法.同时介绍了实现磁场定向的三大程序模块的具体
很早以前,有一位很有志向,立志在自己一生中要做出一番事业的青年,听人说有座很高很高的山,山顶上藏有非常宝贵的东西,许多人都曾跋山涉水、不断攀登、终因不能坚持到底而没有找到