逻辑系统L_n*中一类特殊公式的Σ_Γ-真度

Σ_Γ-fuzzy truth degree of some special formulas in logic system L_n*

在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这些结论,给出了当SΓSA时ΣΓ-真度的一些性质的简单证明。

The ΣΓ-truth degree of formula A is discussed by using the relationship between SA, the atomic formulas set of formula A, and SΓ, the atomic formulas set of finite theory Γ. The simple expression of τΓ（A） is given while SΓSA and SA∩SΓ= Φ. Some results about ΣΓ-truth degree are proved simply by using the expression of τΓ（A）.