首页 | 本学科首页   官方微博 | 高级检索  
     检索      

(P(x),,,-)逻辑的语义问题
引用本文:王庆东,侯海军.(P(x),,,-)逻辑的语义问题[J].河南科学,2000(2).
作者姓名:王庆东  侯海军
作者单位:商丘教育学院数学系!河南商丘476000
摘    要:本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。

关 键 词:模糊逻辑  (P(x)      -)逻辑  标准命题演算系统公理  标准命题演算系统定理

On the semantics of (P(x),,,-) logic
WANG Qing dong,HOU Hai jun.On the semantics of (P(x),,,-) logic[J].Henan Science,2000(2).
Authors:WANG Qing dong  HOU Hai jun
Abstract:In the discussion of the semantics of (P(x),,,-) logic, all axioms in the standard proposition calculations system are all fuzzy true but the theorems of this system are not all fuzzy true.
Keywords:fuzzy logic  (P(x)      -) logic  standard proposition calculations system axioms  standard proposition calculations system theorems
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号