谓词逻辑中公理化真度的若干评注 |
| |
引用本文: | 马硕,惠小静,郝娇.谓词逻辑中公理化真度的若干评注[J].宁夏大学学报(自然科学版),2022(1):30-32+40. |
| |
作者姓名: | 马硕 惠小静 郝娇 |
| |
作者单位: | ;1.延安大学数学与计算机科学学院 |
| |
基金项目: | 国家自然科学基金资助项目(11471007,61763045); |
| |
摘 要: | 根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.
|
关 键 词: | 一阶谓词逻辑 真度 广义矛盾式 矛盾式 定理 |
Comments on Axiomatic Truth Degree in Predicate Logic |
| |
Abstract: | |
| |
Keywords: | |
|
|