论文部分内容阅读
首先应用模糊集截集的方法，给出了多值逻辑系统匕中广义重言式的一个等价刻画，并利用模糊集间的标准Hammin距离，定义了公式间的Hamming距离、Hamming相似度与Hamming真度，给出了计量逻辑学基本概念的Hamming距离表示方法．然后给出了计量逻辑学中公式真度的一个分解定理，这个定理指出在计量逻辑学中，任意一个公式的真度等于一些互不相容的公式的真度之和，而公式φ本身则逻辑等价于这些公式的并．最后应用所提方法定义了广义MP问题的三-I真度解，并讨论了三-I真度解的存在性问题。