一阶谓词公式F与其Herbrand扩张之间的关系

• 作者: 张韬 汤建钢
• 来源期刊: 伊犁师范学院学报（自然科学版）
• 学科: 数学
• 关键词: 命题公式 一阶谓词公式 Herbrand扩张 可满足性
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 数学与应用数学【栏目主持:汤建钢】
• 页码范围: 9-13
• 页数: 5页
• 分类号: O159
• 字数: 3884字
• 语种: 中文

摘要

任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元,以消去量词符号而得到公式F的函数形式.公式F的所有可能的函数形式组成的集合就是Herbrand扩张.研究了寻找一阶谓词公式与Herbrand扩张之间的关系.