Randomized Truth Degree of Propositions in Classical Logic System
Weibing Zuo, Yan Lou · 2009
Defines two-valued logic p-measure in probability space whose power is 2 and randomized truth degree of propositions in classical logic system which is popularized from truth degree of propositions (see Wang Guojun in Science in China (series A) 45(9): 1106-1116, 2002). This paper also testifies that the set of randomized truth degree of all formulas in the range of is dense when p = 1/3, and gives the general expression of formula randomized truth degree. It defines similarity degree between formulas using randomized truth degree, and reduces a kind of pseudo-distance in the set of all formulas, so provides a possible structure of proximity reasoning theory.