论文研究-命题逻辑系统中公式的概率真度理论.pdf

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义，明确了概率真度在[0，1]中的分布情况，并得到了一些概率真度的推理规则；引入相似度，给出了伪距离的定义，确定了二者之间的关系。