模糊有效公式

摘要

This paper puts forward the analysis to the application limitation of the propositional calculus theory. It probes into the fuzzy first-order predicate calculus system theory base on the first-order predicate calculus system theory. Taking some cases for instance, the concept of the fuzzy satisfiability and some related concepts are given, the necessity of the fuzzy first-order predicate calculus system theory is proved as well. By analyzing the cases, the paper advances the feasibility of the concept of the fuzzy satisfiability and some related concepts. And as well whether a judgment is correct or not decided by the variable which involves is evaluated and drawn out the fuzzy effective formula. At the same time, it gives a better explanation of the fuzzy first-order predicate logic effective formula. All of these do a preparatory work for us to establish the fuzzy first order predicate calculus theory.%对命题演算理论应用的局限性进行分析，并结合一阶谓词演算系统理论，对模糊一阶谓词演算系统理论做了初步的探讨，结合实例，给出了模糊满足的概念和相关的一些概念，说明了引入模糊一阶谓词演算系统理论的必要性，对实例的分析说明了引入模糊满足的概念和相关的一些概念的可行性．一个论断正确与否取决于所涉及的变元被怎样赋值，以及引出模糊有效公式．同时，通过例题更好地解释和说明了文章中的定义和定理，从而对模糊一阶谓词逻辑有效公式有了更好的认识．为我们建立模糊一阶谓词演算理论做了初步的准备工作．