摘要
引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．
A sequence of special formulas is introduced.Therefrom it is proved that there is a finer classification theorem of generalized tautologies in Lukasiewicz system,i.e.,for every α in there is an exact α tautolgy.Moreover,this paper clarifies relationship between systems of ( L ) and ( L ).
出处
《陕西师大学报（自然科学版）》
CAS
CSCD
北大核心
1998年第4期6-9,共4页
Journal of Shaanxi Normal University(Natural Science Edition)
关键词
L系统
模糊逻辑
广义重言式理论
模糊推理
Lukasiewicz system
α + tautology
α + tautology
α tautologies
relations theorem
