利用赋值集的随机化方法,在R0型n值命题逻辑系统和风型模糊命题逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,从而建立了更一般的随机逻辑度量空间。
By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in R0 n-valued Propositional logical system and R0 fuzzy Propositional logical system are introduced. The concept of randomized logic metric space is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts in quantified logic.