利用赋值集的随机化方法,在三值Godel命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中。
By means of randomization, the concept of randomized truth degree in Godel three-valued propositional logic are introduced. The concept of randomized similarity and 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.