引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理......