宁夏大学学报（自然科学版）2023，Vol.44Issue(4)：323-327,5.
K*∀谓词逻辑系统公理化真度的运算性质研究
Operation Properties of Axiomatic Truth Degree in K*∀ Predicate Logic Calculus System
摘要
Abstract
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*∀谓词演算系统/公理化真度/真度Key words
K*∀ predicate calculus system/axiomatic truth degree/truth degree分类
数理科学引用本文复制引用
鲁星,惠小静,王波..K*∀谓词逻辑系统公理化真度的运算性质研究[J].宁夏大学学报（自然科学版）,2023,44(4):323-327,5.基金项目
国家自然科学基金资助项目(12261090) （12261090）
