%0 Journal Article
%A YU Xi-chang
%A TAN Gui-mei
%A ZHANG Xing-fang
%T Theory of probability truth degree for formula in propositional logic system
%D 2010
%R 10.3778/j.issn.1002-8331.2010.05.013
%J Computer Engineering and Applications
%P 40-43
%V 46
%N 5
%X By introducing the concepts of valuation density function and edge density function，a definition of probability truth degree for formula in the continuous value propositional logic system is proposed.The distribution of probability truth degree in[0，1] is made clear，and some inference rules of probability truth degree are obtained；By introducing similarity degree，the definition of pseudo-distance is proposed，and the relationship between them are determined.
%U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2010.05.013