论文研究-连续值命题逻辑系统中公式的条件概率真度.pdf

基于条件概率的思想，在连续值命题逻辑系统中引入赋值密度函数概念，给出了公式的概率真度、数学期望、条件概率真度的定义，并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0，1]中稠密。