| (～P(x),(∪.),(∩.),-)逻辑的语义问题 |
| |
| 引用本文： | 王庆东,侯海军.(～P(x),(∪.),(∩.),-)逻辑的语义问题[J].河南科学,2000,18(2):130-132. |
| |
| 作者姓名： | 王庆东 侯海军 |
| |
| 作者单位： | 商丘教育学院数学系,河南,商丘,476000 |
| |
| 摘 要： | 本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.
|
| 关 键 词： | 模糊逻辑 标准命题演算系统 公理 K－SEQ逻辑 |
| 修稿时间： | : |
On the semantics of (～P(x),(∪.),(∩.),-) logic |
| |
| WANG Qing-dong,HOU Hai-jun.On the semantics of (～P(x),(∪.),(∩.),-) logic[J].Henan Science,2000,18(2):130-132. |
| |
| Authors: | WANG Qing-dong HOU Hai-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
