首页|K*?谓词逻辑系统公理化真度的运算性质研究

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

Operation Properties of Axiomatic Truth Degree in K*? Predicate Logic Calculus System

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
以一阶谓词逻辑中公理化真度的定义和性质为基础,对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*∀ predicate calculus systemaxiomatic truth degreetruth degree

鲁星、惠小静、王波

展开 >

延安大学数学与计算机科学学院,陕西延安 716000

K*∀谓词演算系统 公理化真度 真度

国家自然科学基金

12261090

2023

宁夏大学学报(自然科学版)
宁夏大学

宁夏大学学报(自然科学版)

CSTPCD
影响因子：0.377
ISSN：0253-2328
年,卷(期)：2023.44(4)
  • 8