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