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

摘要：

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

关键词：模糊逻辑、(～P(x)、(∪.)、(∩.)、-)逻辑、标准命题演算系统公理、标准命题演算系统定理

所属期刊栏目：18

分类号：O159(代数、数论、组合理论)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：130-132