谓词逻辑中公理化真度的若干评注  

Comments on Axiomatic Truth Degree in Predicate Logic

作　　者：马硕 惠小静[1] 郝娇 Ma Shuo;Hui Xiaojing;Hao Jiao(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)

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

出　　处：《宁夏大学学报（自然科学版）》2022年第1期30-32,40,共4页Journal of Ningxia University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(11471007,61763045);延安大学研究生教育创新计划项目(YCX2021056)。

摘　　要：根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.The truth degree of a given formula is calculated based on the definition of axiomatic truth degree in first-order predicate logic.Then the properties of pseudo-distance under the truth degree are discussed,the relationship between the formula with truth degree 1 and the generalized theorem and the theorem is proved by using the assignment method.At last,the similarities and differences between the formula with truth degree 0 and the generalized contradiction and contradiction are analyzed.

关 键 词：一阶谓词逻辑 真度 广义矛盾式 矛盾式 定理 

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