本文在经典的二值命题逻辑中，通过Borel概率测度对所有估值集（具有通常的乘积拓扑）给出了公式的概率真度的概念。 这种方法不仅克服了定量逻辑的局限性，后者要求所有估值集合上的概率测度是统一概率测度的可数无穷乘积，而且弥补了概率逻辑仅在局部行为的缺点。 事实证明，真度，定量逻辑中的随机真度和概率逻辑中公式的概率的概念都可以作为特殊情况引入概率真度的统一框架中。 因此，定量逻辑和概率逻辑是统一的。 它还证明了所有估值空间的演绎封闭理论与拓扑封闭子集之间的一一对应关系，以及在所有估值空间上的概率真度函
