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

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

作　　者：鲁星 惠小静[1] 王波 Lu Xing;Hui Xiaojing;Wang Bo(College of Mathematics and Computer Science,Yan'an University,Yan'an 716000,China)

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《宁夏大学学报（自然科学版）》2023年第4期323-327,共5页Journal of Ningxia University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(12261090)。

摘　　要：以一阶谓词逻辑中公理化真度的定义和性质为基础,对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.

关 键 词：K^(*)■谓词演算系统 公理化真度 真度 

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