摘要
一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点.文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度.首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式.上述结果将为谓词逻辑程度化研究做准备.
基金项目
国家自然科学基金(11471007)
国家自然科学基金(61763045)
国家级大学生创新创业训练计划项目(201910719023)
延安大学研究生教改研究项目(YDYJG2018022)
延安大学研究生教改研究项目(YDYJG2017024)
NETL
NSTL
万方数据