论文部分内容阅读
对命题演算理论应用的局限性进行分析，并结合一阶谓词演算系统理论，对模糊一阶谓词演算系统理论做了初步的探讨，结合实例，给出了模糊满足的概念和相关的一些概念，说明了引入模糊一阶谓词演算系统理论的必要性，对实例的分析说明了引入模糊满足的概念和相关的一些概念的可行性．一个论断正确与否取决于所涉及的变元被怎样赋值，以及引出模糊有效公式．同时，通过例题更好地解释和说明了文章中的定义和定理，从而对模糊一阶谓词逻辑有效公式有了更好的认识．为我们建立模糊一阶谓词演算理论做了初步的准备工作．