在三值R0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.
The basic properties of randomized similarity and randomized logic pseudometric are given in R0 three-valued propositional logic system. After that, the randomized divergence degree of theories is introduced in randomized logic metric space. It is proved that the set of atomic formulas is not totally divergent in randomized logic metric space. It is divergent or not is decided by the randomized number sequence.