Abstract: 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 [SA?SΓ]and[SA?SΓ=Φ]. Some results about [ΣΓ]-truth degree are proved simply by using the expression of [τΓ(A)].

Key words: logic system[L?n], finite theory, [ΣΓ]-truth degree

摘要： 在模糊命题系统[L?n]中，利用公式[A]的原子公式集[SA]与有限理论[Γ]的原子公式集[SΓ]之间的关系，讨论了公式[A]的[ΣΓ]-真度，给出了当[SA?SΓ]和[SA?SΓ=Φ]时[τΓ(A)]的简单表示形式。利用这些结论，给出了当[SA?SΓ]时[ΣΓ]-真度的一些性质的简单证明。

关键词: 逻辑系统[L?n], 有限理论, [&Sigma, &Gamma, ]-真度