真度的均值表示形式在逻辑系统L_n中的应用  

The Form of Mean Representation of Truth Degree and Its Applicationsin in Logic System L_n

作　　者：于鸿丽[1,2] 吴洪博[2] 

机构地区：[1]西安文理学院数计学院,西安陕西710065 [2]陕西师范大学数学与信息科学学院,西安陕西710062

出　　处：《模糊系统与数学》2014年第3期7-12,共6页Fuzzy Systems and Mathematics

基　　金：西安市科技计划项目(CX12189WL26);国家自然科学基金资助项目(10871121)

摘　　要：命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明,拓宽了真度理论的研究思路,丰富了现有研究成果。The truth degree of formula is the basic concept in quantitative logic from which other conceptsare derived. In the present paper, the form of mean representation of definition of truth degree is used into the logic system Ln. Firstly, with the help of the form of mean representation, the truth degree of formulas are ealculated; secondly, the basic nature of truth degree of formula is proved. Compared with the form of weighting representation of truth degree, the proof is more concise. These results can enriched the achievements and broaden the ideas of truth degree theory.

关 键 词：真度 均值表示 系统Ln 

分 类 号：O141[理学—数学]