有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。