一阶逻辑中公理化真度研究

作者：郝娇; 惠小静^*; 马硕; 金**

来源：计算机科学, 2021, S2: 669-712.

• 一阶逻辑
• 逻辑有效公式
• 可满足性
• 定理
• 前束范式

一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式。上述结果将为谓词逻辑程度化研究做准备。