K^(*)■谓词逻辑系统公理化真度的运算性质研究

Operation Properties of Axiomatic Truth Degree in K^(*)■Predicate Logic Calculus System

以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.

Based on the definition and properties of axiomatic truth degree in first-order predicate logic,this paper studies the truth degree of formulas in K^(*)■predicate calculus system.The operation properties of axiomatic truth degree containing quantifiers,intersection operator and implication operator are analyzed.The methods of converting truth degree of complex formulas into the truth degree of several simple formulas are given.