命题逻辑系统■中公式相对于有限理论的∑_Γ-模糊真度理论

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统■中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B),并利用这一关系在模糊命题演算系统■中的公式集F(S)上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统■中建立相对于有限理论的近似推理框架奠定了基础。