Quasi-truth Degree of Formula in Godel 3-Valued Logic System
Weibing Zuo · 2010
The truth degree of formula is an important research content of Quantitative Logic, approximate reasoning based on the truth degree is a new reasoning mode. In this paper, we define three-valued logic (p, q, r) measure in discrete probability space and quasi-truth degree of formula which is popularized from truth degree of formula. We also prove that the set of quasi-truth degree of all formulas in the range of [0,1] is dense when (p, q, r)=(1/6,1/3,1/2) and give the general expression of quasi-truth degree. Finally, we define similarity degree between formulas and a kind of pseudo-distance in the set of all formulas, so provide a possible structure of approximate reasoning theory.