首页> 中文期刊> 《科技信息》 >模糊满足与项的代入定理

模糊满足与项的代入定理

         

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号