数学论文_谓词逻辑中公理化真度的若干评注

文章目录

1 预备知识

2 定理及矛盾式的真度特征

3 结语

文章摘要:根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.

文章关键词:

项目基金: