修正的Product逻辑系统中的广义重言式理论  

Generalized Tautologies in Revised Product Logical Systems

作　　者：刘练珍[1] 李开泰[1] 

机构地区：[1]西安交通大学理学院,陕西西安710049

出　　处：《模糊系统与数学》2005年第1期12-17,共6页Fuzzy Systems and Mathematics

摘　　要：首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数α∈[0 ,1],可达α-重言式集是类类非空的。Firstly, it is proved that there is a finer classification theorem of generalized tautology in (revised) P-logic; Secondly, a sequence of special formulas is introduced, thereform it is proved that for every rational number α∈[0,1], the sets of exact α- tautology are all non-empty. Moreover, the (upgrade) algorithm of generalized tautology in revised P-logic is introduced.

关 键 词：修正的P-逻辑 广义重言式 

分 类 号：O141.1[理学—数学]