摘要
对一阶逻辑Łukasiewicz系统中的几类特殊公式的公理化真度展开研究。根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广。
The axiomatic truth degree of several special formulas inŁukasiewicz predicate calculus system of first order logic is studied.According to the definition and properties of truth degree,the methods of converting truth degree of complex formulas into the truth degree of several simple formulas are given and promoted.
作者
马硕
惠小静
郝娇
MA Shuo;HUI Xiaojing;HAO Jiao(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)
出处
《延安大学学报（自然科学版）》
2022年第1期79-82,共4页
Journal of Yan'an University：Natural Science Edition
基金
国家自然科学基金项目(11471007,61763045)
延安大学研究生教育创新计划项目(YCX2021056)。
作者简介
马硕(1995—),女,陕西榆林人,延安大学硕士研究生。
