计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2014年
24期
42-46
,共5页
计量逻辑学%逻辑理论%理论的真度%相容度
計量邏輯學%邏輯理論%理論的真度%相容度
계량라집학%라집이론%이론적진도%상용도
quantitative logic%logical theory%truth degree of logical theory%consistency degree
在二值命题逻辑系统中，利用势为2的均匀概率测度空间的无穷乘积，通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度，进而利用理论的真度简化了理论的发散度和相容度的计算公式，给出了由推理的前提集的真度估计其逻辑结论真度的表达式。
在二值命題邏輯繫統中，利用勢為2的均勻概率測度空間的無窮乘積，通過計算理論Γ的全體模型佔整箇賦值空間的測度定義瞭理論Γ的真度，進而利用理論的真度簡化瞭理論的髮散度和相容度的計算公式，給齣瞭由推理的前提集的真度估計其邏輯結論真度的錶達式。
재이치명제라집계통중，이용세위2적균균개솔측도공간적무궁승적，통과계산이론Γ적전체모형점정개부치공간적측도정의료이론Γ적진도，진이이용이론적진도간화료이론적발산도화상용도적계산공식，급출료유추리적전제집적진도고계기라집결론진도적표체식。
By means of infinite product of uniformly distributed probability spaces of cardinal 2, this paper introduces the concept of truth degree of a logical theory Γby computing the measure of all models of Γin the valuation spaces. Simpli-fied methods to compute the divergent degree and the consistent degree of a logical theory are given and the expression to estimate the truth degree of logical conclusions from the truth degree of its premise set is obtained.
