给出了Lukasiewicz n值命题逻辑中公式的随机真度的概念，研究了其性质，利用随机真度定义了公式间的随机相似度，进而导出全体公式集上的一种伪距离。