(P(x),,,-)逻辑的语义问题  

On the semantics of (P(x),,,-) logic

作　　者：王庆东[1] 侯海军[1] 

机构地区：[1]商丘教育学院数学系,河南商丘476000

出　　处：《河南科学》2000年第2期130-132,共3页Henan Science

摘　　要：本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。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.

关 键 词：模糊逻辑 标准命题演算系统 公理 K-SEQ逻辑 

分 类 号：O141[理学—数学] O159[理学—基础数学]