WU Hong-bo, ZHOU Jian-ren. The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic[J]. Acta Electronica Sinica, 2012, 40(9): 1822-1828.
WU Hong-bo, ZHOU Jian-ren. The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic[J]. Acta Electronica Sinica, 2012, 40(9): 1822-1828. DOI: 10.3969/j.issn.0372-2112.2012.09.019.
The truth degree of formula is the basic concept in quantitative logic from which other concepts are derived.In the present paper the properties and the computation method of truth degree are investigated more in-depth.Firstly
a form of mean representation of definition of truth degree of formula is given in quantitative logic;secondly
with the help of the form of mean representation
the limit theorem is generalized that is a connection of the theories of truth degrees in
n
-valued logic system and continuity-valued logic system
and the symmetrical characteristic of truth degree is obtained;thirdly
the computational formulas of truth degrees of the propositions with normal forms is given.