修正的n值G(o)del逻辑系统的随机化

摘要

利用赋值集的随机化方法,在修正的n值G(o)del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间.%By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulae in Godel n -valued 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.