10.3969/j.issn.1004-3918.2000.02.005
(~P(x),(∪.),(∩.),-)逻辑的语义问题
本文得出了在(~P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(~P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(~P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.
模糊逻辑、(~P(x)、(∪.)、(∩.)、-)逻辑、标准命题演算系统公理、标准命题演算系统定理
18
O159(代数、数论、组合理论)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
130-132