推广规则后一阶逻辑公式的准真度
来源：计算机工程与应用杂志2019年第6期北京时间：
作者：秦晓燕
单位：山西师范大学 数学与计算机科学学院，山西 临汾 041004
摘要：计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中，都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果，讨论经过推广规则后，一阶逻辑公式准真度的变化情况，证明经过推广规则后，一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。
关键词：计量逻辑,一阶逻辑,准真度,推广规则
