Computer Engineering and Applications ›› 2016, Vol. 52 ›› Issue (11): 34-37.

Previous Articles     Next Articles

[ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n]

MA Qiaoyun   

  1. Department of Mathematics, School of Information Engineering, Xi’an University, Xi’an 710065, China
  • Online:2016-06-01 Published:2016-06-14

逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度

马巧云   

  1. 西安文理学院 信息工程学院 数学系,西安 710065

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, ]-真度