一阶逻辑中不含相同谓词符号公式的真度研究

王波; 惠小静; 鲁星

doi:10.15958/j.cnki.gdxbzrb.2022.05.05

贵州大学学报（自然科学版） ›› 2022, Vol. 39 ›› Issue (05) : 29 -34. DOI: 10.15958/j.cnki.gdxbzrb.2022.05.05

一阶逻辑中不含相同谓词符号公式的真度研究

王波, 惠小静, 鲁星

作者信息 +

Author information +

文章历史 +

PDF

摘要

自真度概念被提出以来，命题逻辑的计量化得到了广泛的关注和发展。谓词逻辑的相关研究是一个难点，其中一阶逻辑的公理化真度以及程度化才刚刚起步。从文字的完全闭包及其合取的公理化真度出发，首先，证明了不含相同谓词符号广义合取式的真度计算公式；其次，通过合取范式的结构特点，证明了合取范式的真度计算公式；再次，证明了2个公式的逻辑等价性。所得结果为后续公理化真度性质研究奠定了基础。