二值命题逻辑中逻辑理论的计量化及应用  

Quantification of logic theory in two-valued propositional logic and its applications

作　　者：李骏[1] 王菊花[1] 

机构地区：[1]兰州理工大学理学院,兰州730050

出　　处：《计算机工程与应用》2014年第24期42-46,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目

摘　　要：在二值命题逻辑系统中,利用势为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. Simplified 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.

关 键 词：计量逻辑学 逻辑理论 理论的真度 相容度 

分 类 号：O141.1[理学—数学]