模糊命题逻辑系统的计量化与近似推理

Using the randomization method of valuation set, the concept of randomized truth degree of formulas is introduced into fuzzy propositional logic system. At the meantime, the concept of randomized similarity and randomized pseudo-distances between formulas are introduced and the randomized logic metric space is built. Three different types of approximate reasoning patterns are introduced in randomized logic metric space. And they are proved to be equivalent.