模糊满足与项的代入定理  

作　　者：冯晶晶[1] 

机构地区：[1]西安培华学院基础部

出　　处：《科技信息》2013年第4期14-14,共1页Science & Technology Information

基　　金：陕西省教育厅专项科学研究项目(11JK0507)

摘　　要：通过结合一阶谓词演算系统理论,对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念;并用实例的分析说明了这些概念的必要性和可行性;在此基础上给出在模糊满足下项的代入定理。

关 键 词：模糊 逻辑 谓词 赋值 满足 

分 类 号：O174[理学—数学]