摘要
引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。
A class of special sequence of formulas is introduced,this article proved that every class of arrivable tautology is not empty, so that the class of generalized tautology is difference each other on Lukasiewicz many valued logic system. At the last,discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.
出处
《模糊系统与数学》
CSCD
2000年第1期8-12,共5页
Fuzzy Systems and Mathematics
