(～P(x),(∪.),(∩.),-)逻辑的语义问题

• 作者: 侯海军 王庆东
• 来源期刊: 河南科学
• 关键词: 模糊逻辑 (～P(x),(∪.),(∩.),-)逻辑 标准命题演算系统公理 标准命题演算系统定理
• 年，卷（期）: 2000,（2）
• 页码范围: 130-132
• 页数: 3页
• 分类号: O159
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3918.2000.02.005

摘要

本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王庆东	商丘教育学院数学系	1	0	0.0	0.0
2	侯海军	商丘教育学院数学系	1	0	0.0	0.0